GoKawiilOpenAI's AI-generated Navier-Stokes proof baffles mathematicians
OpenAI recently claimed its AI agents produced a solution addressing the Navier-Stokes equations, one of math's unsolved Millennium Problems, after running 10,000 agents for 88 hours. Mathematicians including Oxford's James Maynard and Brown's Javier Gómez-Serrano say the resulting proof, while apparently technically correct, is written in a form that is extremely difficult for humans to interpret or learn from.
GoKawiil's interpretation of the reporting above, not reported fact.
The episode suggests AI systems may now be capable of generating valid mathematical results that outpace human ability to verify or understand them, which could complicate how mathematical knowledge is built and trusted. Gómez-Serrano's comment that the proof needs 'serious re-writing' implies AI-generated math may require translation into human-legible form before it can advance the field, rather than standing as a finished contribution.
- OpenAI used 10,000 AI agents over 88 hours to tackle the Navier-Stokes equations, a Millennium Prize problem.
- Mathematicians say the resulting proof is technically correct but nearly incomprehensible to humans.
- The claim has already sparked controversy over whether OpenAI improperly built on existing mathematicians' work.
Source: futurism.com — Frank Landymore, 2026-09-23
Published there as: “Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.