"Claude Solved Navier–Stokes" Is Just a Rumor: No Paper, No CMI Submission, Say Fact-Checkers
johnseach · x · 2026-09-06
The viral claim that Claude solved the Navier–Stokes existence-and-smoothness problem has no public evidence behind it.
- No Anthropic paper, blog post, Lean repo, or Clay Mathematics Institute submission exists; the rumor traces to a prediction tweet about an announcement before IPO.
- Prediction markets price possibility, not fact: mid-teens odds for a pre-IPO announcement, well below even money for a solution by end of 2026.
- CMI rules require publication in a refereed journal of worldwide repute plus two years of scrutiny; even a genuine proof wouldn't instantly win the Millennium Prize.
- Real 2026 math does exist: Claude's stronger bound on Riemann zeta zeros, a proposed Jacobian-conjecture counterexample, a machine-checked Fermat's Last Theorem formalization, and DeepMind's new singularity candidates.
- Terence Tao says he's unaware of any significant development, reiterating that an opaque AI proof could close the statement while leaving the field poorer.
Until there's a paper, proof-assistant artifact, and expert review, treat it as social-media weather, not mathematics.
Related event: Claude Did Not Solve Navier-Stokes, Clarifies Terence Tao(2 posts)→
More from Models
- X sentiment check: Grok and Claude riding high while OpenAI and Gemini face user backlash — mark_k · 2026-10-21
- GPT-4o and 4.1 die Jan 14: a team's task-by-task eval of OpenAI's cheaper Luna replacements — max_gladysh · 2026-10-21
- NVIDIA Nemotron Retriever models (Embed, Parse, Rerank) land on Baseten — baseten · 2026-10-21
- Two AI judges disagreed by 28 points grading the same 4 models — TibboPlayz · 2026-10-21
- 35B MoE at 20.5 tok/s on an iPhone: OpenBMB's Lookahead Expert Scheduling skips no experts — GasSmooth7439 · 2026-10-21
- ICA Lens in action: decomposing Qwen residuals reveals clean city/France features — furongh · 2026-10-21