alt Hacker NewsTen advances in mathematics and theoretical computer science
Comments
[dead]
This thread has an absolutely wild points to comments ratio.
What's up with the upvote/comments ratio 8 to 337 on this post? Are the comments already also ai advanced? (/s?)
the real milestone isn't that AI solved ten math problems, it's that we now need a press release to tell us which ten problems count as important
Meh, Humans should be doing this. It’s kind of retarded that we have AI automating creative problem solving, coding, music, arts, the fun parts of life before they can do my dishes, laundry and vacuum my house.
They can’t even drive me anywhere I want, though I suppose they’re getting there. I don’t think LLM companies should be surprised when rest of society hates them. They’re literally bringing in a dystopian WallE like society where most demand for human work is destroyed.
Any implication of any of these findings? They seem like unimportant nerd snipes to me. If you want to do something actually relevant, get chatgpt to write a simulation of graphene nanotube construction and figure out how to do it at scale.
> claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system’s contribution and the nature of genuine human intellectual work.
AI has no self-awareness. It's a tool. When you assemble a furniture using a screw driver, the torque force interacts with the molecular forces inside the metal and miraculously it transfers the force to the screw though a clever geometry design, communicating the force to the screw to turn it in a certain way.
Do you attribute the build to the tool? The "system's contribution" is helped by many other things all the way down to chips, datacenters and power generation. If the authorship requires attributing to a tool, then it should happen all the way down.
Gary Marcus' has a good take on this:
https://garymarcus.substack.com/p/openais-amazing-but-vastly...
https://garymarcus.substack.com/p/two-critical-updates-re-as...
Not that there isn't something interesting in here, but lets be clear that we don't have enough information to evaluate this properly. And as always with these labs, BS takes a lot more energy to refute than it does to spread.
I'm sure OpenAI is just interested in the greater good of mankind!
Great stuff. Wonder how many of the ten problems where solved by independent mathematicians not linked to OpenAI
How do we know that these solutions don't exist in the training data? It is open secret that they have used pirated materials for training. Perhaps it plagiarized solutions from works of some obscure Belgian mathematician from the sixties, who did not get mainstream acceptance. I wouldn't be surprised if they also got access to mathematics done in the "defense contractor" setting from various three letter agencies.
Without a searchable index of training data, it is hard to put faith into these claims.
[dead]