FULL STORY
Bau Rebuts the "Unknowable AI" Claim, Sparks Debate
MIT professor David Bau pushed back against claims by Gates, Hinton and Bengio that superhuman AI will be incomprehensible, arguing interpretability lag is a choice. He then debated Joel Manning over whether AI math proofs can be unreadable yet still meaningful.
2026-11-06 ~ 2026-11-08 · 2 episodes · 5 posts
Episode 1 · MIT Professor Rebuts Claims AI Will Surpass Human Understanding: Falling Behind Is a Choice (2026-11-06, 3 posts)
MIT professor David Bau pushes back against claims by Bill Gates, Geoffrey Hinton and others that AI will soon surpass human understanding, arguing that no one has produced an AI idea humans cannot comprehend. Unless an impossibility proof is shown, falling behind AI is a choice, not a destiny.
- MIT's David Bau Challenges Gates, Hinton, Bengio: Show Me One Unthinkable Thought — davidbau · 2026-11-06
- Interpreting AI Thoughts Is a Choice, Not an Inevitability, Says Prof. David Bau — davidbau · 2026-11-08
- David Bau: Humanity falling behind AI is a choice, not an inevitability — davidbau · 2026-11-08
Episode 2 · Scholars Debate Whether AI-Generated Unreadable Proofs Still Matter (2026-11-07, 2 posts)
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.
- 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