GoKawiilMathematicians dispute whether OpenAI's Navier-Stokes proof solved the real problem
OpenAI announced a proof addressing the Navier-Stokes problem, one of the Clay Mathematics Institute's Millennium Prize challenges, generated with help from an internal large language model. Mathematicians, including Luis Silvestre of the University of Chicago, argue the proof relies on introducing an external force that alters the equations into a version disconnected from real fluid behavior. Three mathematicians have since posted their own proof showing OpenAI's method cannot be extended to resolve the original, unmodified problem.
GoKawiil's interpretation of the reporting above, not reported fact.
The dispute suggests that AI-generated mathematics may find technically valid but practically hollow solutions by reframing hard problems into easier variants, which could complicate how the field evaluates AI contributions going forward. Silvestre's comment that 'the main problem is not solved' indicates working mathematicians see a gap between headline claims and substantive progress. The follow-up proof closing off any extension of OpenAI's approach implies a new method, not incremental refinement, would be needed to tackle the original problem.
- OpenAI claimed a proof tied to the Navier-Stokes Millennium Prize problem using an internal LLM.
- Mathematicians say the solution modifies the equations with an external force, sidestepping the original, harder question.
- A separate proof shows OpenAI's approach cannot be extended to solve the unmodified Navier-Stokes problem.
Source: scientificamerican.com — Joseph Howlett, 2026-09-22
Published there as: “Did OpenAI solve the wrong Navier-Stokes problem?”
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.