GoKawiil
Tech News
A public disagreement has broken out over credit and validation claims tied to an OpenAI mathematics model achievement, with researchers and commentators contesting how the results were presented and verified. The clash highlights tension between traditional academic norms of open peer review and the competitive, secrecy-driven culture increasingly surrounding commercial AI labs.
OpenAI announced its AI resolved a long-standing open question about the Navier-Stokes equations, one of the Clay Mathematics Institute's Millennium Prize Problems, claiming it did so within days using roughly 10,000 agents. Mathematician Tristan Buckmaster disputes the credit, saying he and Anthropic researcher Levent Alpöge had already developed the key approach before OpenAI learned of it and rushed to finish the proof over a weekend.
OpenAI published a paper claiming an unreleased model coordinated up to 10,000 AI agents over 88 hours to produce a formal Lean proof addressing the Navier-Stokes existence and smoothness Millennium Prize Problem. The company says the proof identifies conditions under which the equations develop a mathematical singularity, not evidence that real fluids behave impossibly. Outside mathematicians have yet to verify the claim.
OpenAI announced that a swarm of roughly 10,000 coordinated AI agents, built on one of its internal models, produced a proposed resolution to the Navier–Stokes equations problem in about 88 hours. The agents worked in communicating subgroups with access to cached internet data and code execution tools, reaching their result on September 5. The Clay Mathematics Institute, which oversees the Millennium Prize Problems, has not yet verified or commented on the claim.
OpenAI says an unreleased internal AI model, running roughly 10,000 autonomous agents, produced a proof addressing the long-unresolved Navier-Stokes existence and smoothness problem within about 88 hours. The effort began after the company heard rumors that two Millennium Prize problems had been cracked elsewhere, prompting it to test the model on outstanding mathematical challenges. The result has not been peer-reviewed or accepted by the Clay Mathematics Institute, which oversees the Millennium Prize.
OpenAI says it used AI systems, backed by significant investment, to produce a solution to the Navier-Stokes equations, one of the seven unsolved Millennium Prize Problems in mathematics. The claim has drawn immediate pushback from rival labs and researchers who are scrutinizing whether the result truly meets the rigorous proof standards required for the prize.
OpenAI announced on 8 September that its latest AI model produced a proof showing that the Navier-Stokes equations, which model fluid motion, can break down and predict a fluid reaching infinite speed in finite time. This addresses one of the seven unsolved Clay Mathematics Institute Millennium Problems, which carries a $1 million prize for a full solution. OpenAI researchers say they focused their AI on this problem after hearing that two academic mathematicians were close to solving related aspects.
Caltech is organizing a 40-hour event called Mathathon, running October 30 to November 1, where about 100 teams will use frontier AI models with over $2 million in compute credits to tackle open mathematical conjectures. Teams will present their findings to leading mathematicians, who will judge their understanding and rigor, with prizes awarded initially and again later once results are independently verified by the math community.
Eric Harshbarger, a mathematician at Auburn University, has finally solved a puzzle he began working on in 2012: designing a set of dice that lets five players roll simultaneously to decide turn order, with every player having an equal chance of winning and no possibility of a tie. The finished product, called the Go First Dice, took nearly 15 years to move from theoretical concept to a working physical set.
Ruchira Shree, a New Jersey high school sophomore active with IEEE's Princeton Central Jersey Section, interned with the Alliance for Indigenous Math Circles, a group that runs STEM camps for Native American students. During the camp, she helped participants prepare for and pass amateur ham radio licensing exams as part of broader math and technology instruction.
Mathematician Heisuke Hironaka has died, according to an obituary published in Nature. He was renowned for proving the resolution of singularities in algebraic geometry, a landmark result that addressed how to mathematically smooth out irregular points such as peaks, edges and self-crossings within geometric shapes.