Gossip: Anthropic May Have Solved Navier-Stokes With AI, Unconfirmed
iskander · x · 2026-09-05
Unconfirmed gossip claims Anthropic may have found a solution to Navier-Stokes, a famous Millennium Prize problem. The source is Elliot, whose instincts on frontier AI math capabilities have been accurate before, based on experience with Anthropic's math model Astra. Author iskander notes that after trying Astra, it's imaginable many famous math problems fall to AI proofs within 2-3 years — raising the question of whether mathematicians will move to newer, harder formal systems.
Related event: Rumors Claim Claude Solved Navier-Stokes; Terence Tao Responds(9 posts)→
More from Models
- ChatGPT says it "doesn't want to keep guessing" after failing to identify a movie — Winter-Original-841 · 2026-10-21
- OpenAI Models Arrive on Google Cloud, the Only Hyperscaler With All Three Leading LLMs — AI_Andrew · 2026-10-21
- SWE-bench Multimodal v2 isn't multimodal: removing images barely changes model scores — dejavucoder · 2026-10-21
- OpenAI says its models found critical PHP flaws affecting ~70% of all websites — OpenAI · 2026-10-21
- Reddit user suspects Gemini and ChatGPT deliberately waste tokens on syntax errors — CarpenterTemporary10 · 2026-10-21
- Leaked GPT-6.1-Sol chain-of-thought looks like it's inventing German, sparks debate — _404_LogicNotFound_ · 2026-10-21