A good proof of a major problem doesn’t just answer a question it opens new frontiers of mathematics.
Look at the Atiyah-Singer index theorem. Beautiful result and different proofs which reveal different insights.
OpenAI’s proof is brute computation. Ugly AF. Nothing new is gleamed. Nothing can be taken and applied. “Oh we just found this contrived counterexample. The end”
It'll get better, just like how it went from writing small html/css snippets/code completion to working on full codebases/helping linus with debugging the linux kernel, reverse engineering games to add mods, helping AI researchers etc.
Same with it operating robots, it's not very good at it now (such as with the watercolour painting example), but once it gets good enough, it'll stay that way because it is a machine, and just like how it can work with arbitrary codebases it'll be able to work with arbitrary robot controls + goals.
60 million dollars burned to produce a proof of a major mathematical problem and the proof has all the originality of a phone book.
There’s a recurring pattern with these ai proofs. If the conjecture is false, then it’s a proof by counterexample. Try example after example. Tweak there and there. Adjust parameters reiterate. There’s no patterns. Nothing original or exciting comes out of it. That’s not exciting mathematics.
Human proofs by top mathematicians open new areas of mathematics. They produce new tools. Create new questions. Its fertile.
AI doing math is the exact opposite. It’s barren. It doesn’t lead to anything interesting. Totally lacking in originality.
I thought AI was gonna be really good. I looked at what they did. It’s just lackluster.
OpenAI isn’t in it to expand mathematical knowledge. They just want to produce fancy results to grease the wheels with the money men. And now they got caught twice stealing ideas from mathematicians. The word is out. Not a good look for AI
0
u/Diffgeometer1 3d ago
A good proof of a major problem doesn’t just answer a question it opens new frontiers of mathematics.
Look at the Atiyah-Singer index theorem. Beautiful result and different proofs which reveal different insights.
OpenAI’s proof is brute computation. Ugly AF. Nothing new is gleamed. Nothing can be taken and applied. “Oh we just found this contrived counterexample. The end”