This past week, OpenAI dumped a staggering trove of answers to elusive math problems solved by its internal artificial intelligence models – the mathematics world isn’t happy about it. “What are they trying to achieve? I don’t know. They’re just destroying early-career mathematicians with a PR stunt,” says NYU math professor Tristan Buckmaster. Buckmaster and his collaborator Levent Alpöge had made significant progress on solving an historic math equation before OpenAI’s model beat them to it. They’ve “destroyed the whole incentive system for science and mathematics.”

you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 9 hours ago

I haven't watched the video, but I just have to get the word out

https://arxiv.org/pdf/2610.08144

From the abstract:

(...) we provide several examples of AI mistranslations of NL statements and proofs into Lean in practice, resulting in mismatches between NL proofs and their Lean 'verifications'. These include OpenAI’s announced Navier-Stokes proof.

  • source