陶哲轩在ICM 2026演讲：数学界将从证明稀缺走向证明过剩

陶哲轩在7月24日国际数学家大会（ICM）2026演讲《数学在AI时代》中提出，数学界正经历一场类似百年前数学基础危机的新危机，将走向证明过剩的时代。他引用First Proof挑战赛5月28日第二批结果：十道研究级问题中七道被至少一支团队做到可发表水准，每题算力花费在10到1000美元之间。