陶哲轩警告百年数学新危机：AI解出10道研究级新题，但“证明过剩”让理解成为新瓶颈？

菲尔兹奖得主陶哲轩在2026国际数学家大会警告：数学正面临“百年危机”。First Proof评测中，4套AI系统仅花10至1000美元就解出10道研究级新题中的7道、达到期刊发表水平，但“证明过剩”导致“证明的消化不良”。他将此与1901年罗素悖论、哥德尔不完备定理引发的数学基础危机类比：那次数学界重建公理地基用了三十年；

原文链接：https://cj.sina.com.cn/articles/view/7879776468/1d5abd8d406801j1t8