"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.
More from Models
- Users report GPT-6 Astra finding up to 176x code speedups — or nothing at all — ivan_bezdomny · 2026-09-06
- Blogger: Chinese labs have cracked scaling and RL, need ~6 months to reach Astra level — zephyr_z9 · 2026-09-06
- Months of math work done in 26 minutes: Astra delivers 38-page constant-size proof — kfountou · 2026-09-06
- Hands-on: Astra one-shots a single-file Minecraft game, full sim done in 145 minutes — tegridyblues · 2026-09-06
- Compute likely tied up in pretraining, but Claude dev experience keeps getting worse — ATTlKA · 2026-09-06
- Normies can't tell Gemma 4 26B A4B from SOTA models in casual testing — TheMoonMidas · 2026-09-06