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 雖未連署公開信,卻也一起入列。 相關報導 OpenAI 曝光下一代主力模型 Astra:一次解決十道卡了人類 10 年的數學難題 OpenAI 推理模型破解 80 年數學謎題,三位頂尖數學家背書 孫宇晨宣布設立「孫宇晨獎」 開啟機器驗證數學懸賞新紀元 最高獎金100萬美元 OpenAI 公開 RSI 最新進展:預計 2028 年前打造「自動化智慧工程研究員」 OpenAI 首席科學家警告:AI 安全仍未解,呼籲建立共享安全門檻〈OpenAI 稱正在訓練的新模型已解開超 100 道數學難題,同步成立學者顧問團〉這篇文章最早發佈於動區BlockTempo《動區動趨-最具影響力的區塊鏈新聞媒體》。
