matic聲稱 OpenAI 的證明過程在一次電話會議中崩潰了

OpenAI聲稱其內部模型破解了數學中最難的難題之一。 紐約大學matic特里斯坦·巴克馬斯特表示，他之前被告知的破解過程在他與該公司通話時完全站不住腳。

巴克馬斯特表示馬丁內斯-索羅亞值得獲得菲爾茲獎

OpenAI 週二表示，其內部模型之一已證明，對於強制納維-斯托克斯方程，可以在有限時間內實現“爆炸式增長”。這是七個千禧年大獎難題之一，每個難題的獎金爲 100 萬美元。.

爆破是指方程允許流體的速度在某一點變爲無窮大，而物理學不允許這種情況發生。.

該公司表示，該論證已使用 Lean 進行檢查，Lean 是一種用於正式確認matic證明的證明驗證語言。.

如果屬實，這將是歷史上第二個被解決的千禧年難題，也是第一個歸功於人工智能公司的難題。.

幾天前，巴克馬斯特和matic工作的 Anthropic公司發表了他們的研究成果：在光滑強迫作用下，三維不可壓縮歐拉介質、布西內斯克介質和不可壓縮多孔介質的有限時間爆破，並用Lean語言進行了形式化描述。“這是一項了不起的成就，”菲爾茲獎得主陶哲軒說道。

故事的這一部分並無爭議。巴克馬斯特本人在闡述這些想法的來源時也十分肯定。.

他寫道，這種攻擊路線起源於迭戈·科爾多瓦和路易斯·馬丁內斯-索羅亞，他們花了數年時間用粗暴的強迫方法制造強制爆炸。.

他和阿爾珀格利用大型語言模型推動該程序實現平滑力迫和歐拉運算。巴克馬斯特甚至表示，他認爲馬丁內斯-索羅亞應該獲得菲爾茲獎。.

布貝克曾問：“你爲什麼要毀掉自己的事業？”

OpenAI 的聲明是在Buckmaster 的敘述發佈一天後發佈的。Buckmaster 的敘述描述了一場混亂，這場混亂始於一個謠言開始流傳，稱 Anthropic 解決了一個重大的未解難題。

爲了避免誤會，他於9月3日星期四給OpenAI的一位matic發了郵件，強調他與Alpöge的合作是個人合作，並未得到Anthropic或紐約大學的支持。他仔細閱讀了回覆，對方態度熱情，甚至還主動提出可以使用OpenAI的計算資源。.

通話發生在 9 月 6 日星期日。巴克馬斯特說，塞巴斯蒂安·布貝克接了電話，雙方當天下午進行了幾次交談，阿爾珀格沒有上線。.

他被告知，OpenAI 的內部模型已經給出了約 100 頁的強制納維-斯托克斯方程爆破證明，該證明使用了查爾斯·費弗曼對該問題的正式陳述中的“選項 c 和 d”的平滑強制。.

巴克馬斯特寫道，那是他和阿爾珀格祕密選擇的一條非常狹窄的道路，幾乎沒有人走這條路。他說，聽到“被迫”這個詞，就是一個非常明顯的危險信號。.

布貝克告訴阿爾珀格，OpenAI 的結果“幾乎沒有人爲干預”，巴克馬斯特說。.

巴克馬斯特 寫道：“結果發現，整個團隊都在研究這個問題，這是他們嘗試的衆多方法之一，他們已經開始研究非強制問題，團隊首先在更簡單的問題（包括歐拉問題）上建立了模型，甚至給我看的提示也是通過提示 Codex 編寫的，而且使用了驚人的計算量。”

他說，當他詢問第一個提示何時發出時，答案延遲了一段時間纔給出，最終他是在他和 Alpöge 的工作成果傳到 OpenAI。

巴克馬斯特表示，他和阿爾珀格將他們的草稿證明保存在 OpenAI Codex 會話中，當他詢問 OpenAI 的模型是否可能基於這些數據進行訓練時，他沒有得到任何回答。.

他已明確表示，他並非聲稱此事發生過；他只是表示這個問題沒有得到解答。.

他還聲稱，布貝克曾兩次試圖將阿爾珀格從作者名單中除名，因爲他與人類學派有聯繫，並且有一次問他：“你爲什麼要毀掉自己的事業？”

OpenAI否認了這些指控。 布貝克 在X論壇上發表了一篇簡短的帖子，稱這些說法“虛假且具有煽動性”，並表示他參與這場辯論是“遵循學術規範”的，同時承諾會做出更全面的回應。

布貝克在週二的簡報會上表示，該模型以不同於matic的方式解決了歐拉問題，但完整的納維-斯托克斯方程證明確實採用了類似的路徑。.

巴克馬斯特表示，他的研究成果傳到 OpenAI 之後，這個證明是在週末完成的。.

他說：“我們沒有使用他們的提示或證明來指導我們的模型。”.

雙方都借鑑了科爾多瓦的觀點，科爾多瓦表示，兩人“有點震驚”，完整的證明“對我們來說將是一個巨大的驚喜”。芝加哥大學matic路易斯·西爾維斯特稱之爲該領域內持續不斷的討論時期。.

如果你正在閱讀這篇文章，你已經領先一步了。 訂閱我們的新聞簡報，繼續保持領先優勢。