Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
What happened
Mathematicians dispute OpenAI's description of its potential Navier-Stokes proof, saying its resemblance to the cited approach is superficial, Scientific American reports. The 166-page proof is written in Lean and remains under review by the Clay Mathematics Institute. OpenAI researcher Noam Brown also says the contribution of about 10,000 model instances remains unclear without comparison tests, attributing less than 10 percent of the success to the multi-agent setup.
Read next
More changes in today’s briefingMistral releases improved Mistral Large 4 open weights for coding and cybersecurityKeep up with AI, one email a day
Model releases, price changes and compute developments, with original sources. Free, confirmed by email, and easy to unsubscribe. Read a past issue · 2026-10-30