Boaz Barak: Soon claims of human assistance in AI theorem proving will sound like Kasparov vs Deep Blue
soumitrashukla9 · x · 2026-09-09
Harvard computer scientist Boaz Barak invoked Kasparov's Deep Blue matches to comment on the current AI theorem-proving controversy: Kasparov was so unsettled that he at one point claimed there must be human assistance behind Deep Blue, because it is hard to accept machines surpassing us at what we have spent our lives mastering. Barak argues that soon, claims that a model needed human assistance to prove a theorem will make no sense — just as in chess.
More from AGI Musings
- AI accusations shake literary prizes from Caine to Goncourt: who decides what's human? — TuhinChakr · 2026-10-26
- Tech discovers wargaming: applying to be Anthropic's tabletop exercise lead — round · 2026-10-26
- RSI is the culmination of the industrial revolution: a factory building a faster factory — tobias_rees · 2026-10-26
- NYT roundtable asks five experts what the rules for AI companies should actually be — ShakeelHashim · 2026-10-26
- Anti-AI content is algorithm gold and very profitable, quips commentator — annetgriffin · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26