Two mathematicians spent a year on the Navier-Stokes route — the AI outran them
davidbau · x · 2026-11-07
David Bau responds to worries about AI producing incomprehensible thoughts: Buckmaster and Alpoge spent a year pursuing the same route to Navier-Stokes, and the AI simply outran them. The AI writeups are ugly and experts are rewriting them — a month after the UGC proof, Dana Moshkovitz is giving talks explaining how it works.
Bau's point: an unreadable proof isn't an unthinkable thought, and no one has yet produced a genuinely incomprehensible AI result.
Related event: Scholars Debate Whether AI-Generated Unreadable Proofs Still Matter(2 posts)→
More from AGI Musings
- Viral 'ASI begins' bingo chart lights up math proof and conjecture as done — ZeroStateReflex · 2026-11-13
- ICLR rebuttals are so LLM-written that not one review scored above 5% human — HildeKuehne · 2026-11-13
- Rewatching Musk's 2014 MIT Talk: He Warned AI Was the Biggest Existential Threat and Called for Regulation — elonmusk · 2026-11-13
- 'Humans as happy dogs': a debate on autonomy under superintelligence — zetalyrae · 2026-11-13
- Jun Song: backing open-source AI isn't about China, it's about knowledge belonging to humanity — kuchaev · 2026-11-13
- Quip urges Grok to 'do the utilitarian calculus' and solve P vs. NP — akbirthko · 2026-11-13