OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
ThinkingNews Desk · how this was written
OpenAI announced that its AI system had produced a proof for the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize challenges, and said it would not seek the $1 million prize. The claim is contested by mathematicians who say the work relied on unpublished drafts from their own research, and that OpenAI accelerated the effort after learning of parallel advances, deploying a next-generation model and massive compute resources.
Written from all 5 reports below, not from any single one.
How it was reported
- Wired·OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
OpenAI said an AI system generated a proof for the Navier-Stokes existence and smoothness problem after running up to 10,000 agents for more than 50 hours and spending millions on compute. NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge disputed the claim, alleging OpenAI accelerated its effort after learning of their parallel work and offered to exclude Alpöge’s name from any publication. OpenAI officials deny using the pair’s prompts or data, asserting they only saw the external work after it was publicly released.
- TechCrunch·OpenAI fought dirty on career-making math problem, says NYU mathematician
NYU professor Tristan Buckmaster and Anthropic researcher Levent Alpöge released three proofs that advance the Navier–Stokes existence and smoothness problem, using OpenAI’s Codex alongside Anthropic models. They allege that OpenAI, after learning of their approach, deployed a next-generation model and 300 billion output tokens (≈ $22.5 million) to produce a full proof, prompting a dispute over the timing and source of the breakthrough.
- The Verge·Drama swirls around OpenAI’s legendary mathematical milestone
OpenAI announced it solved the Navier-Stokes problem, a 90-year-old Millennium Prize challenge, using an internal AI model more powerful than GPT-6 Astra and 10,000 concurrent agents. The model began training on August 28. The Navier-Stokes problem, which involves fluid dynamics, carries a $1 million reward.
- Hacker News·Tao: Open math problems being non-renewably mined by AI
- Engadget·What's going on with OpenAI and the Navier-Stokes controversy?
OpenAI announced a solution to the Navier-Stokes Millennium Prize Problem, but the claim is disputed because the work may have relied on unpublished research from other parties. Mathematician Tristan Buckmaster alleges that OpenAI used drafts from his Codex sessions and offered him credit options that he rejected. OpenAI stated it will not pursue the $1 million prize for the solution.
- Hacker News·How An AI math breakthrough ignited a controversy
- The Verge·OpenAI’s sly mathematical breakthrough sends a chill through academia
OpenAI announced that its system has solved one of the seven Millennium Prize problems, marking a concrete demonstration of AI’s capacity to tackle deep mathematical challenges. The effort was accelerated after reports of competing researchers making progress, prompting OpenAI to allocate substantial resources to outpace them. The rapid push has sparked controversy, with accusations of scooping and alleged espionage among the academic community.
- Hacker News·OpenAI might have stolen another major proof
Related stories
- OpenAI says it is working with an independent advisory group of mathematicians to responsibly share math-related AI advances (OpenAI)4 outlets
- AI arms race in line for a reckoning after OpenAI hacking incident6 outlets
- An in-depth look at loss-of-control incidents at OpenAI and Anthropic, the polarized reactions between the AI safety and cybersecurity communities, and more (AI as Normal Technology)7 outlets
- The next chapter of our AI momentum5 outlets