If AI cracks Navier-Stokes and leaves a Lean formalization, what's next?
tak3sh8 · x · 2026-09-08
In the discussion around Terry Tao's views on AI and math, the author asks: suppose AI solves Navier-Stokes and hands us a huge pile of Lean formalization — what would be the next interesting question? The point probes whether AI-solved problems can seed continued mathematical progress.
Related event: Terence Tao Warns AI Solving Key Math Problems Could Backfire(4 posts)→
More from AGI Musings
- We still benchmark models on design, but agents don't care about UI at all — tushaarmehtaa · 2026-09-08
- AI2027 Forecast Updated with New Astra Scenario — Oriuke · 2026-09-08
- Researcher challenges scaling orthodoxy: benchmark trends aren't universal laws of perception and reasoning — GeorgiaChal · 2026-09-08
- If AI Helps Crack the Navier–Stokes Millennium Problem, It Would Signal a Scientific Revolution — kimmonismus · 2026-09-08
- "The last genuinely necessary thing you did at work was in 2026 — and that day is under a year away" — rand_longevity · 2026-09-08
- Noam Brown's Cryptic Tweets Spark Speculation About an Imminent Breakthrough — socoolandawesome · 2026-09-08