Terence Tao explores the dilemma of AI-generated proofs that no human understands
QGallouedec · x · 2026-08-20
Renowned mathematician Terence Tao discusses the profound impact of AI on mathematics in a new paper. He notes that there are already AI-generated proofs verified as correct that no human—including those who prompted the AI—truly understands. Tao warns that we may soon face a verified proof of a major result that no human understands well enough to explain, raising questions about what constitutes a contribution to the field if correctness is insufficient without human comprehension.
More from AGI Musings
- "An LLM doesn't understand anything" gets the perfect parody reversal: neither do you — VoidStateKate · 2026-10-16
- Nina Schick: Europe's Policy Circle Still Doesn't Believe FSD, Orbital Compute Are Real — NinaDSchick · 2026-10-16
- Meta's Superintelligence Lab Runs 200+ Direct Reports—A Lesson for Flat Multi-Agent Systems — peterjliu · 2026-10-16
- Andy Masley lays out his version of effective altruism, pluralism over utilitarian math — RobbWiller · 2026-10-16
- We're forgetting how much of a miracle GPT-3.5-level intelligence was, and it may cost us — EigenGender · 2026-10-16
- Ex-Anthropic's McDonagh Builds Compute Intelligence Agency to Study Frontier AI Costs — McDonaghMatthew · 2026-10-16