AI Product Manager Community

Oct 7, 2026 · Industry Insights

Terence Tao's U-Turn: Why AI Math Benchmarks Risk 'Proof Indigestion'

Fields Medalist Terence Tao, once an AI enthusiast, now warns that AI companies treating mathematics as benchmarks produce proofs without human understanding, causing 'proof indigestion' and eroding the cognitive friction essential for mathematical insight, likening unchecked AI-generated proofs to degenerative cloning.