25 位菲爾茲獎得主 9 月 11 日聯名發表宣言〈A Severe Misalignment of AI in Mathematics〉,指 AI 公司把解數學題當成能力基準的做法,正在傷害數學這門科學與整個數學社群。簽署者從 1978 年得主 Pierre Deligne 橫跨到今年的鄧煜(Yu Deng),陶哲軒(Terence Tao)同日在個人部落格貼出全文。宣言開放學界附議,台灣時間 9 月 12 日下午已有 2,632 人連署。
(前情提要:OpenAI 聲稱解開世紀數學難題,但陷入「挪用他人未公開研究」羅生門)
(背景補充:AI 接管數學界?OpenAI Astra 模型破解 10 大百年難題,學者憂:人類貢獻將被抹煞)
重點摘要
- 25 位菲爾茲獎得主 9 月 11 日聯名發宣言,批 AI 公司拿解題當能力基準
- 簽署者橫跨 1978 年 Deligne 到 2026 年鄧煜,陶哲軒同日貼出全文
- 宣言開放學界附議,不到 15 小時已有 2,632 人連署
25 位菲爾茲獎得主在 9 月 11 日聯名發表了一份宣言,標題叫〈A Severe Misalignment of AI in Mathematics〉,直譯是「AI 在數學領域的嚴重錯位」。核心主張只有一句話:AI 公司把解數學題當成能力基準來衝,這件事對數學這門科學與數學社群都有害。
簽署名單橫跨 48 年。最資深的是 1978 年得主 Pierre Deligne,最新的是今年剛得獎的鄧煜(Yu Deng),中間還有 Peter Scholze、Maryna Viazovska、James Maynard、Maxim Kontsevich、Cédric Villani 等人。陶哲軒(Terence Tao)同一天在自己經營多年的部落格「What’s new」貼出宣言全文。
宣言官網同時開放學界附議,用 ORCID 或學術信箱驗證身分。台灣時間 9 月 12 日下午,官網顯示 2,632 人連署,距離宣言發出不到 15 個小時。名單裡劍橋與蘇黎世聯邦理工各 35 人、麻省理工 29 人、柏克萊與哥倫比亞各 24 人。
他們沒有否認 AI 變強
這段數學家宣言開頭第一句就承認 AI 的進步,原文寫「過去幾個月,大型語言模型的數學能力大幅提升,已經能解開許多數學領域的重大未解問題」。
宣言的說法是,解題只是達成主要目標的工具與代理指標,那個主要目標是概念上的理解與洞見。歷史上解開一道著名難題之所以有價值,是因為背後必然帶來新的想法與方法,接著整個社群會花好幾年開研討會、討論、簡化,最後整理成研究生甚至大學生讀得懂的教科書寫法。
宣言直接點名這個流程被跳過的後果,原文是「以越來越快的速度大量生產真偽判定,可能摧毀肥沃的土壤,而不是為新想法注入生命」。這針對的是產出形式,不是產出速度,AI 交出的是一個命題成立與否,數學界要的是為什麼成立。
倉促宣布與署名爭議
宣言批評得最具體的一段是關於「數學上的功勞」,原文說這些解答常常在匆忙之間宣布,沒有留時間做完整的書面整理、把新方法與新想法獨立出來、引用他人先前的相關研究,這在所有創作型專業裡都會引發嚴重的署名與抄襲問題。
這段話有明確的對應事件,9 月 8 日,紐約大學教授 Tristan Buckmaster 公開指控 OpenAI 對他施壓,要他不要把解題功勞歸給一位在 Anthropic 任職的合作者,他同時質疑 OpenAI 是否用了 Codex 上的成果來發展自己那份證明。宣言發出的時間點,距離這場爭議只有三天。
宣言還提到一個較少被討論的環節,叫做數學家之間關鍵的人類傳遞鏈。意思是如果沒有數學家願意接手,把這些想法發展並整合進數學的既有體系,AI 想出來的東西不會真正成為數學學科的一部分。
一週之內的三件事
這份宣言不是孤立事件,它是一週內第三件事。9 月 8 日 OpenAI 公布三維 Navier-Stokes 方程有限時間奇點的結果,同日爆出上述署名爭議。9 月 10 日,OpenAI 科學家 Dan Roberts 在 X 宣布公司撤回對加州理工學院「Mathathon」活動的贊助,理由是數學社群提出的疑慮。
那場活動原訂 10 月 30 日開始,參與者用大型語言模型挑戰開放研究問題,算力由 OpenAI 與 Anthropic 提供。加州理工現任與前任數學家的一封公開信反對這項安排,說這有把研究數學變成 AI 公司廣告場合的風險。撤資兩天後,25 位菲爾茲獎得主的宣言就出來了。
今年的菲爾茲獎一共 4 位得主,兩人的選擇剛好落在兩邊。鄧煜簽了這份宣言,另一位得主 Jacob Tsimerman 則在 7 月 23 日費城國際數學家大會領獎當天宣布加入 OpenAI,8 月下旬報到,從多倫多大學留職停薪但保留教職,工作重點是 AI 安全而不是模型能力。
連署名單裡掛著 AI 公司名稱的目前只有三筆,分別是 Google Research、Google Quantum AI 與 Google,沒有掛 OpenAI 或 Anthropic 的。
常見問題
菲爾茲獎得主的宣言在反對什麼
反對 AI 公司把解數學題當成能力基準來衝。宣言承認大型語言模型數學能力大幅提升,但主張解題只是工具,真正的目標是概念理解,倉促宣布的解答會跳過同儕驗證與歸功流程。
這份宣言有多少人連署
核心簽署者是 25 位菲爾茲獎得主,橫跨 1978 年到 2026 年。官網另開放學界用 ORCID 或學術信箱附議,台灣時間 9 月 12 日下午 3 點 53 分已累積 2,632 人。

