Scholars Debate Whether AI-Generated Unreadable Proofs Still Matter
In a debate over AI-generated mathematical proofs, David Bau argued that 'an unreadable proof isn't unimaginable,' citing how AI outpaced Buckmaster and Alpoge, who spent a year pursuing the same technical approach to the Navier-Stokes problem.
2026-11-07 ~ 2026-11-08 · 2 related posts
- Episode 1: MIT Professor Rebuts Claims AI Will Surpass Human Understanding: Falling Behind Is a Choice(2026-11-06, 3 posts)
- Episode 2: Scholars Debate Whether AI-Generated Unreadable Proofs Still Matter(2026-11-07, 2 posts)
- Two mathematicians spent a year on the Navier-Stokes route — the AI outran them — davidbau · 2026-11-07
- "An unreadable proof isn't unthinkable": researchers debate AI math proofs — ManningJoel · 2026-11-08