←── back to feed
/topics/openai-math-proofs-dataset-release
OpenAI math proofs dataset release
8 items●3 sources●updated 29d ago●trend 0
OpenAI released approximately 700–722 mathematical manuscripts containing novel proofs and counterexamples to long-standing problems, including solutions to the Navier-Stokes equations and the Unique Games Conjecture. Mathematicians expressed awe and anxiety over the scale of the release, with researchers estimating it could take years to fully understand and verify the results.
- OpenAI released 700–722 math manuscripts with novel proofs to previously unsolved problems
- Proofs include solutions to Navier-Stokes equations and the Unique Games Conjecture
- More than three dozen mathematicians described the release as 'unprecedented,' 'overwhelming,' and 'pure insanity'
- Researchers estimate understanding and verifying the full scope could require years of work
- AI demonstrated capability to solve hard problems using methods mathematicians describe as 'inhuman'
[HN]hacker news5
As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
Is AI the End of Math as We Know It?
WSJ: OAI Just Cracked Hundreds More Math Problems
OpenAI releases 722 math manuscripts
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
[BLG]blog/rss1
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
[BSKY]bluesky2
Anyhow, I think we are now done with the last round of skeptical responses to AI after Navier-Stokes. Yes, AI is now capable of producing novel proofs to hard problems that have eluded us
Some early first-hand accounts of the experience of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI.