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: Rumor: Claude may have solved the Navier-Stokes millennium problem(2 posts)→
More from Models
- Inference-Time Scaling: More Compute, No Retraining, Better Answers — _jaydeepkarale · 2026-09-05
- RL Hill-Climbing Creates Model Spikes, So Judge AI With Multiple Models — dejavucoder · 2026-09-05
- TheZvi Polls Readers on Their Most-Used AI Model Across All Tasks — TheZvi · 2026-09-05
- Extropic releases first transformer family built for probabilistic thermodynamic hardware — Mountain_Cream3921 · 2026-09-05
- NVIDIA's NVFP4-quantized Qwen3.8-Flash-Next image-text-to-text model trends on Hugging Face — nvidia · 2026-09-05
- Developer complains Astra's safety guardrails block even basic tasks — jarrodwatts · 2026-09-05