Tao: Mathematicians Should Prioritize 'Digesting' AI Proofs Over Speed
量子位 · wechat · 2026-08-20
Faced with the crisis of AI batch-generating mathematical proofs, Terence Tao and Fields Medalist Hong Wang point out that the mathematics community needs to shift from merely 'discovering proofs' to 'digesting proofs'.
Core Perspectives:
- The Complete Proof Process: Tao breaks down mathematical achievements into five steps: generating argument, verifying correctness, peer interpretation, publication review, and knowledge consolidation. AI currently accelerates the first two steps, while the latter three still require deep involvement from mathematicians.
- Importance of Digestion: Tao spent days 'digesting' the AI-assisted proof of the Sendov conjecture. By tracing literature and extracting core identities, he not only compressed the Lean code from 90k to 15k lines but also covered the stronger Phelps–Rodriguez conjecture, proving that the digestion process itself can broaden mathematical results.
- Call for Rule Change: Tao advocates changing the old norm of 'first to prove gets the credit' and elevating the status of 'digesting and organizing proofs'. If an author cannot explain the results at an expert level, the work should not be published even if AI verified it correctly.
Project Palomar: Tao released Palomar, a registry for Lean verification results. It serves as a relay station between verification and publication, recording four time nodes—generation, verification, interpretation, and publication—to determine attribution.
More from AGI Musings
- Models got reliable but not smarter? Older models with tools might match new ones — Worldly_Beginning647 · 2026-08-20
- The most uncomfortable AI outcome: still employed, but with no bargaining power — VraserX · 2026-08-20
- Kids born today will see us like the Middle Ages: a vision of the 2030s AI civilization — Dr_Singularity · 2026-08-20
- Chinese courts mandate human backup for AI displacement, unlike the US — cen6wkf · 2026-08-20
- Shift focus from LLM hype to inference engineering, distributed systems, and hardware — max_paperclips · 2026-08-20
- AI Superforecasters Are Shifting the Value Proposition of Prediction Markets — devanshmehta · 2026-08-20