According to reporting by The Decoder, OpenAI recently submitted a 166-page solution addressing the Navier-Stokes problem, yet mathematical experts claim the company does not fully understand its own proof. Several groups have disputed the methodology, pointing out that the actual mathematical approach used in the document differs significantly from the description provided by OpenAI.
The Black Box Problem in AI Mathematics
The Navier-Stokes equations describe how fluids move and are considered one of the most important unsolved problems in classical physics. When artificial intelligence models generate complex technical proofs, verifying the internal reasoning becomes a major hurdle. Because language models operate as black boxes, tracing the exact origin of specific conceptual leaps or underlying ideas within a massive generated document remains an inherent limitation of current AI architectures.
What Remains Unclear
The announcement did not specify how the 166-page solution was generated, which specific models were utilized, or whether human mathematicians assisted in drafting the final text. Furthermore, it is unknown if OpenAI plans to release further documentation or attempt a formal verification of the disputed methodology. Observers will need to watch whether independent academic groups can successfully verify any portion of the submitted solution.
As mathematical communities continue to examine the text, the true validity of the proof and the provenance of its core ideas remain undetermined.
Lead image: MART PRODUCTION / Pexels
