AI · 2h ago
Terence Tao: AI Creates 'Proof Indigestion' in Mathematics
Mathematician Terence Tao warns that AI generates proofs faster than humans can verify, causing a 'proof indigestion' crisis. He proposes new competition formats like the Distillation Challenge, which boosted a weak model's accuracy from 50% to 80% on 22 million problems. The SAIR contest aims to build separate infrastructure for AI and human research.
Meridian48 take
Tao's diagnosis is sharp, but his proposed 'separate lanes' solution may struggle to gain traction in a field resistant to changing peer review.
ai-researchmathematics