Mathematicians Lament AI Labs Could Have Jointly Solved Navier-Stokes
Mathematicians expressed regret that frontier labs could have jointly delivered a full formalization of Navier-Stokes, calling it a missed moment to celebrate human-AI collaboration in math.
2026-09-08 ~ 2026-09-09 · 2 related posts
- Episode 1: Terence Tao Proposes Keeping Some Open Math Problems Off-Limits to AI(2026-09-03, 2 posts)
- Episode 2: Rumors Claim Claude Solved Navier-Stokes; Terence Tao Responds(2026-09-05, 9 posts)
- Episode 3: Rumor: Anthropic Has Solved Navier-Stokes with Claude(2026-09-06, 2 posts)
- Episode 4: Terry Tao slams closed labs' theorem-proving as viral marketing(2026-09-06, 2 posts)
- Episode 5: Claude Did Not Solve Navier-Stokes, Clarifies Terence Tao(2026-09-06, 2 posts)
- Episode 6: AI-assisted proof of irrationality sparks professional-vs-amateur feud in math community(2026-09-07, 16 posts)
- Episode 7: Mathematicians Accuse OpenAI's Astra Math Results of Research Misconduct(2026-09-07, 2 posts)
- Episode 8: Terence Tao's latest AI remarks spark buzz, Gary Marcus calls them 'fire'(2026-09-08, 2 posts)
- Episode 9: Rumors swirl that Claude may have solved the Navier-Stokes millennium problem(2026-09-08, 3 posts)
- Episode 10: OpenAI Claims Navier-Stokes Breakthrough with 10,000 Agents as Credit Dispute Rages(2026-09-08, 136 posts)
- Episode 11: Tao Hails AI-Assisted Fluid Equations Blowup Breakthrough, Formalized in Lean(2026-09-08, 8 posts)
- Episode 12: Mathematicians Lament AI Labs Could Have Jointly Solved Navier-Stokes(2026-09-08, 2 posts)
- Researcher laments AI labs could have teamed up to formally solve Navier-Stokes — birchlse · 2026-09-08
- Mathematicians lament missed chance for labs and math community to celebrate AI advances together — soumitrashukla9 · 2026-09-09