Rumors Claim Claude Solved Navier-Stokes; Terence Tao Responds

Starting September 5, rumors circulated on X that Anthropic had Claude solve the Navier–Stokes existence and smoothness Millennium Prize Problem, with a paper reportedly under expert review; no official confirmation has followed. Terence Tao clarified he was not involved and unaware, and used the moment to warn about AI's impact on mathematics.

Confirmed

• The rumor originated from Andrew Curran's prediction that Anthropic had solved the problem and would announce it before an IPO; mathematician Elliot Glazer endorsed it, and his past forecasts of frontier AI math ability have been notably accurate (m3, m7)
• Mathematician Julia Stadlmann uploaded a related 34-page paper on arXiv, one of the triggers of the discussion (m9)
• Terence Tao personally responded: he was not involved or aware, and denied his earlier post hinted that an AI lab had cracked the problem, as robinhouston had speculated (m4, m9)
• Tao published a long post warning about AI math capability: fast, black-box solutions could "pollute" the research value of major open problems; using Navier–Stokes global regularity as an example, he stressed that historical "failed" attempts produced important theories such as Leray–Hopf weak solutions, and the process matters more than the answer (m8, m9)

Unconfirmed

• Whether Anthropic or Claude actually solved Navier–Stokes remains unverified by any official statement or paper
• Who contributed the core ideas, how much guidance Claude needed, and whether the approach generalizes to other problems are all unknown (raised in m6)

Why it matters

• Commenters such as kimmonismus argue that if true and the proof survives expert review, this would be one of AI's biggest moments yet and a watershed for AI-original research (m6)
• Tao's remarks sparked reflection on AI benchmark culture: he opposes score-chasing, competition-style math research, which he believes could backfire on mathematics itself; leifweatherby found Tao's stance telling if the rumor holds (m2, m8, m9)
• The episode reflects the AI community's appetite for proof of model capability, with users urging Anthropic that publishing such a result would be the best marketing (m1)

2026-09-05 ~ 2026-09-06 · 9 related posts

• Terence Tao warns AI-cracked math problems could pollute and stall mathematical progress — 量子位 · 2026-09-05
• [source] Rumor: Claude may have solved Navier–Stokes, with paper out for expert review — inductionheads · 2026-09-05
• Gossip: Anthropic May Have Solved Navier-Stokes With AI, Unconfirmed — iskander · 2026-09-05
• Rumor: Anthropic's model solved a Millennium Prize Problem, Terence Tao reacts — IgorCarron · 2026-09-05
• [source] Terence Tao responds to rumors that an AI lab cracked the Navier-Stokes problem — elsleightholm · 2026-09-05
• Report: Claude may have cracked the Navier–Stokes Millennium Problem, pending expert scrutiny — MoonL88537 · 2026-09-06
• Solver of Navier-Stokes would be Anthropic's best marketing, quips AI observer — burny_tech · 2026-09-06
• Rumor: Anthropic Solved a Millennium Prize Problem, Terence Tao Responds — littmath · 2026-09-06
• [source] Terence Tao responds to Navier-Stokes AI rumor with warning against benchmark-driven math races — 量子位 · 2026-09-06