AI 快速生成證明對當前數學界價值觀與研究範式帶來的衝擊

波新聞-戴貴立/專題

數學家陶哲軒（Terence Tao）是澳洲人，是華裔但是不會中文。父親來自中國大陸，上海人，母親香港人。1975年7月17日出生於澳大利亞阿德萊德，祖籍中國廣東。

他的父親陶象國是一名小兒科醫生，母親張秀英則是一名數學與物理教師。陶哲軒自幼便展現出卓越的數學天賦，兩歲時便能閱讀簡單的文字，三歲開始學習基礎數學，四歲則能解決代數問題。陶哲軒在七歲時進入高中學習，九歲時進入澳大利亞弗林德斯大學修讀數學課程。他的學術成績令人矚目，十歲、十一歲和十二歲分別參加國際數學奧林匹亞競賽，並分別獲得銅牌、銀牌和金牌，成為該比賽史上最年輕的金牌得主。

16歲時同時獲得數學學士與碩士學位。21歲於美國普林斯頓大學獲得數學博士學位，導師為著名數學家埃利亞斯·斯坦。24歲成為加州大學洛杉磯分校（UCLA）數學系的終身教授。

對於獲得菲爾茲獎，他感到驚訝與慚愧，並認為佩雷爾曼（Grigori Perelman）證明龐加萊猜想的工作才是過去十年最重大的數學成就。

喜歡與他人合作研究，認為能從合作者身上學到很多，並將數學視為一個統一的學科。對數學的看法：，他認為數學研究如同馬拉松，需要耐心，與奧數競賽的短跑性質不同。他也強調「玩數學」的重要性，認為自由探索和擁有好導師是培養數學興趣的關鍵。

數學家陶哲軒（Terence Tao）在國際數學家大會（ICM）演講的精華片段，探討 AI 快速生成證明對當前數學界價值觀與研究範式帶來的衝擊。

https://www.youtube.com/watch?v=WvZLmF5WqIU

以下為影片重點分析與整理：

• 背景與歷史借鑑：陶哲軒以 20 世紀初羅素悖論（Russell's paradox）與哥德爾不完備定理引發的「數學基礎危機」為例，指出當前數學界正邁入另一個動盪期；但這次不是論證本身的危機，而是數學研究實踐與價值觀的危機。[00:14]

• 證明的「產能過剩」與積壓：隨著 AI 工具與形式化語言（如 Lean）的普及，AI 能迅速產出數十萬行已被機器驗證的證明（例如在 Erdős 猜想相關問題上），但人類數學家往往無法理解其內在邏輯，甚至連提交證明的作者自己都無法評估。[01:31]

• 核心瓶頸轉移（審稿與理解）：過去數學界的問題是「證明稀缺」，一旦有新結果大家會搶著研讀；現在則是證明泛濫，「審查、理解與消化證明」反而成為最稀缺的資源與瓶頸。[02:27]

• 「證明消化不良」（Proof Indigestion）：陶哲軒將數學研究比喻為消化過程——不僅是產出（進食），更需要內化與理解，才能真正轉化為數學體系的養分。AI 擅長前端生成，卻無法完成後端的「消化」，導致大量無人閱讀或未經深度理解的證明堆積。[03:25]

• 作者資格與學術規範建議：他提議數學界應提高對「證明整理與消化」的評價，未經梳理成可讀格式的機器證明應被視為未完成；若一名作者只是按鈕生成證明，無法親自登台演講並回答相關問題，就不應列為論文作者。[04:15]

相關影片連結：陶哲軒：AI 證明太多，數學界消化不良【AI 大人說】 https://www.youtube.com/watch?v=WvZLmF5WqIU

YouTube 影片觀看記錄會儲存在 YouTube 記錄，且 YouTube 會依照《 服務條款 》儲存及運用

資料提供：某教授