WORLDTECHMathematicians say OpenAI doesn't understand its own Navier-Stokes proof
Diese Meldung gibt es bisher nur auf Englisch.
What happened
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof, according to The Decoder. OpenAI submitted a 166-page solution to the Navier-Stokes problem but apparently doesn't fully understand its own proof. Several groups of experts dispute the claimed methodology, saying the actual approach differs from what OpenAI described. OpenAI is an artificial intelligence company based in San Francisco.
And because language models are black boxes, where the underlying ideas came from will likely never be clear. The article Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof appeared first on The Decoder .
AI research Copy the url to clipboard Share this article Go to comment section Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof Manuel Uth Oct 17, 2026 Nano Banana Pro prompted by THE DECODER In early September, the company presented a 166-page potential solution to the Navier-Stokes problem. OpenAI claimed the proof followed the approach of Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa.
Several groups of experts now disagree, Scientific American reports . "When you go to the details, it is a different approach," says mathematician Gonzalo Cao-Labora of EPFL.
The similarities are only surface-level, he says. The potential proof is written in Lean, a formal verification language that checks every logical step but doesn't make it readable to humans on its own. The Clay Mathematics Institute (CMI) has been reviewing it since its release.