📰 重點摘要

這是一則市場調查/新聞轉譯任務，直接處理。

二十五位費爾茲獎得主聯署公開信，警告AI實驗室在互相搶攻數學界知名難題證明的過程中，正威脅到數學社群的學術work。信中指出，這些AI解法常常倉促公布,沒有時間完整撰寫論證過程、釐清新方法與想法、也沒有適當引註前人相關研究，因而引發嚴重的歸屬與抄襲爭議；且OpenAI提出的證明至今仍未經驗證。聯署者強調，若缺少數學家們自願投入將這些AI構想整理、驗證並納入數學正典的過程，AI提出的想法將永遠無法真正「活起來」，數學家之間關鍵的人際傳承鏈也會因此斷裂。

本週紐約大學教授Tristan Buckmaster指控OpenAI施壓他，要求他不要將解出某道重要數學題目的功勞歸給一位任職於Anthropic的合作者，他並質疑OpenAI是否利用了他們與Codex協作的成果，在一個週末的馬拉松式推理運算中產出了自家的突破性證明。同一週四，OpenAI在遭到加州理工學院研究人員批評後，撤回了對該校一場數學活動的贊助。

這封信延續今年6月由數學家工作小組發布的《萊頓宣言》（Leiden Declaration），同樣探討LLM證明將如何改變數學研究工作，並提出給數學家、機構與政策制定者的建議。信中也提醒，若前沿實驗室能砸下數千萬美元用LLM搶先擊敗原研究者拿到證明，這種動態將反過來鼓勵保密文化，侵蝕開放研究傳統，而數學界面臨的問題，未來也可能是所有領域都要面對的課題。

💬 JudyAI Lab 觀點

二十五位費爾茲獎得主聯署公開信，指出AI實驗室搶攻數學難題證明的競速正衝擊學術規範，這是AI證明能力躍進後首度遭遇數學界集體反彈。

信中提出的問題很具體：AI解法常倉促公佈，沒時間完整撰寫論證、釐清新方法，也缺乏適當引註，因而引發歸屬與抄襲爭議，OpenAI提出的證明甚至至今未經驗證。這反映一個更大的趨勢——當AI產出的速度超過人類驗證與傳承知識的速度，「產出」與「被納入正典的知識」之間就出現落差。紐約大學教授Tristan Buckmaster指控OpenAI施壓歸屬問題，也顯示競速壓力已經延伸到人際合作與學術誠信層面，不只是技術本身的問題。

給AI builder的提醒：速度不能取代驗證，任何AI產出的重要成果，發布前都該留時間讓同儕檢視與歸屬清楚。

📅 原文資訊

🔗 延伸閱讀