陶哲軒:AI 時代數學介面臨百年新危機
為何重要
陶哲軒的警告揭示了當前「代理基礎建設」與科學價值體系的根本衝突:當論文產生速度遠超人類理解能力時,現有的學術框架與商業激勵邏輯將失效。 對於開發「Agentic Research」的企業而言,純粹提升解題率已具備產業可行性,但若無法解決成果的「可解釋性」與「正典化」難題,技術商業化的獲利率將受限。 這場辯論提醒技術決策者,在生成式內容生態中,被共同體認可的產品不僅是「解答」,而是必須能通過人類審視的「證明」。
在 ICM 大會(國際數學家大會)上,菲爾茲獎得主陶哲軒警告數學可能陷入基礎危機,其核心並非 AI 算力不足,而是若不加節制,將推翻數學百年來的價值體系。
First Proof 獨立評測(5月28日)指出,在受控測試的 10 道新研究級數學難題中,AI 系統以 10 至 1000 美元的算力成本以「可發表質量」解出了 7 道題。
資料與情緒混合導致判斷失真,陶哲軒稱「第一個解出」是 KPI 陷阱,且「正典化」(進入教科書)作為消化與共識機制,是無法被 AI 最佳化的最慢環節。