OpenAI should put their internal model to solve the rest of Millenium Prize problems too (assuming their difficulty is in the same ballpark). That would be a proof the model did it without using existing work on the problem.
The researchers were also using AI so we're really just arguing over how much AI is allowed. But somehow a lean-verified proof that came first doesn't count because reasons.
If you have been involved in academia in any way, you know this happens all the time because the field is nearing a breakthrough, not a single person.
OpenAI should put their internal model to solve the rest of Millenium Prize problems too (assuming their difficulty is in the same ballpark). That would be a proof the model did it without using existing work on the problem.
OpenAI claims to have solved a decades old mathematical problem just as researchers are about to publish about their solution. Coincidence?
AI derangement syndrome is amazing.
The researchers were also using AI so we're really just arguing over how much AI is allowed. But somehow a lean-verified proof that came first doesn't count because reasons.
If you have been involved in academia in any way, you know this happens all the time because the field is nearing a breakthrough, not a single person.
No, we're arguing over whether or not openai stole the other researcher's work. The evidence is pretty damning.
https://techcrunch.com/2026/09/08/openai-fought-dirty-on-car...
It's just a desperate attempt to prove how grandiose their new model is