OpenAI 稱正在訓練的新模型已解開超 100 道數學難題，同步成立學者顧問團

OpenAI 宣布與數學家自組的獨立「數學與人工智慧顧問團」（AGMAI）合作，並宣稱 8 月 28 日開始訓練的內部模型已解開逾 100 道長期懸而未決的數學難題。
（前情提要：數學家對 AI 公司不爽！菲爾茲獎 25 人連署砲轟：只會解題不是數學）
（背景補充：OpenAI 聲稱解開世紀數學難題，但陷入「挪用他人未公開研究」羅生門）

OpenAI 在 8 月 28 日啟動一套內部模型的訓練，到 9 月 21 日公告時，這套模型已經解開超過 100 道數學界懸而未決的難題，這個速度連 OpenAI 自己的數學家都措手不及。OpenAI 在官方公告中寫道，模型的進展速度「讓 OpenAI 內部的數學家們感到意外」，內部也開始討論，該如何讓數學界及早掌握進展、做好準備與調整。

同一份公告也宣布：OpenAI 將與一個由數學家自組的獨立顧問團合作，這個顧問團名為「數學與人工智慧顧問團」（AGMAI），設於普林斯頓高等研究院。但公告裡有一句但書：這個顧問團不負責替 OpenAI 的研發節奏踩剎車。

從「奇異點」到百題解謎

故事要從 9 月 8 日前後說起。OpenAI 宣稱，同一套內部模型耗時 88 小時、動用約 1 萬個 AI agent，證明 Navier-Stokes 方程式（描述流體運動的方程式）會在有限時間內出現「奇異點」，流體速度在某一瞬間衝向無窮大。這是克雷數學研究所懸賞的七大「千禧年大獎難題」之一，懸而未解近 90 年。

三天後，9 月 11 日，一群數學家發表公開信，連署人數如今已增至 27 位菲爾茲獎得主，包括陶哲軒、今年得主鄧煜等人。

公開信寫道：「AI 公司的目標，與數學社群的目標存在嚴重的不對齊。」他們也警告，用越來越快的速度大量產出「真、假」命題，「可能摧毀肥沃的土壤，而非為新想法注入生機」。

無薪、無決策權，還要處理一堆待發表的成果

顧問團在官網聲明中寫明，這個團體獨立於任何 AI 公司運作，願意向「任何可能對數學產生重大影響的 AI 公司」提供建議，建議會公布在官網；官網也寫道：「我們會給建議，但在任何 AI 公司都沒有決策權，公司做出的決定，由公司自行負責。」

成立經過同樣寫在官網，最初是 OpenAI 找上部分成員談「外部顧問委員會」，雙方協議後，這群數學家決定自組獨立團體，再邀其他人加入。

OpenAI 的公告則寫道，顧問團有自由提出 OpenAI 沒要求的建議、評論 OpenAI 對數學界的影響、公開自己的建議；成員不由 OpenAI 支薪，也能自行調整成員。公告同時強調，顧問團「不負責就 OpenAI 內部數學研究的推進節奏提供建議」。

換句話說，模型解多快、成果放多少，這群數學家管不著；他們能做的，是評估成果重要性、協調怎麼發表。

不過這張顧問名單本身就藏著矛盾。9 位初始成員裡，Martin Hairer（2014 年菲爾茲獎得主）正是公開信連署人之一，他一邊連署批評 AI 公司與數學界的目標「嚴重不對齊」，一邊坐進替 OpenAI 出主意的顧問團。同為菲爾茲獎得主的 Timothy Gowers 與 Edward Witten 雖未連署公開信，卻也一起入列。