🤖 Terence Tao: Mathematics Facing a Crisis Due to AI
At the ICM 2026 congress, Terence Tao reported a shift from a scarcity of proofs to a surplus ("proof glut"). AI is accelerating the generation of solutions, but the processes for verifying and explaining them cannot keep pace with the flow.
🌍 The community faces the risk of "proof indigestion," where the volume of formally correct but incomprehensible solutions exceeds peer review capabilities. The First Proof project has already demonstrated that AI solves 7 out of 10 problems at a publishable level.
👤 AI is becoming a full participant in science. The ability to interpret and explain the results of neural network work is becoming a critical skill for researchers.
Source 1: https://best.xiaohu.ai/en/article/tao-age-of-ai-icm-2026/ Source 2: https://note.com/mi6242/n/n6b0bffb6301e?hl=en