陶哲軒稱 AI 或致數學界最大危機，警告證明過剩致無人能懂

陶哲軒在爲 2026 年國際數學家大會撰寫的文章中指出，數學界應停止爭論 AI 能做什麼，轉而正視研究目標這一被迴避的問題。他將當下比作 1900 至 1930 年間由羅素悖論和哥德爾不完備定理引發的基礎危機。

他援引 First-Proof 項目：第二輪中 10 道未發表研究題由 4 個 AI 系統測試，7 道至少被一個系統判爲合格，每題成本數十至數百美元。他警告數學可能從證明稀缺轉向證明過剩，並稱無人能清晰講解的證明即使通過形式驗證也應視爲不完整。