Barak: AI Theorem Proving Doubts Will Look Like Deep Blue Skepticism

Harvard's Boaz Barak compared skepticism over AI theorem proving to Kasparov's old doubts about Deep Blue, arguing the achievement shows models still have huge headroom.

2026-09-09 ~ 2026-09-09 · 2 related posts

• Boaz Barak: Soon claims of human assistance in AI theorem proving will sound like Kasparov vs Deep Blue — soumitrashukla9 · 2026-09-09
• Turing winner Boaz Barak: an AI solved a Millennium Problem and there's plenty of headroom left — soumitrashukla9 · 2026-09-09