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.
More from AGI Musings
- Almost everyone underestimated AI progress: forecasts off by years on benchmarks and revenue — ben_j_todd · 2026-10-27
- Goldman finds statistically significant negative link between AI adoption and US employment growth — ben_j_todd · 2026-10-27
- a16z: World-changing tech makes a chaotic entrance — AI agents are following the same path — a16z · 2026-10-27
- NEJM AI on medical education: mastery requires performing without the machine — BraydonDymm · 2026-10-27
- Dev warns abliterated models could wreck software supply chains with 1000+ transitive dependencies — nitarshan · 2026-10-27
- Delete your priors: why every SOTA model drop should reset how you think the world works — zack_overflow · 2026-10-27