跳至內容
AI 新聞站
返回

OpenAI 声称它解決了一個80年的數學問題 —— 這次是真的

OpenAI 宣稱其新推出的推理模型已產生一個原創的數學證明,推翻了幾何學中一個著名的未解決猜測。該猜測最早由保羅·艾爾多斯(Paul Erdős)於 1946 年提出。此舉引發了對 OpenAI 過往聲譽的質疑,因為七個月前,該公司前副總裁凱文·魏爾(Kevin Weil)曾在 X 平臺聲稱 GPT-5 解決了 10 個艾爾多斯問題並取得 11 個問題的進展。然而,後續調查顯示 GPT-5 並未真正解決這些問題,僅從現有文獻中找到了既有的解法。當時,包括亞恩·勒庫恩(Yann LeCun)和 Google DeepMind 執行長戴米斯·侯賽尼(Demis Hassabis)在內的競爭對手對此進行了嘲諷,魏爾隨後撤回了其提前發表的帖子。

此次事件似乎讓 OpenAI 避免了重蹈覆轍。公司同時發表了由數學家諾加·阿隆(Noga Alon)、梅蘭妮·伍德(Melanie Wood)和託馬斯·布魯姆(Thomas Bloom)等學者撰寫的備註,以支援該證明。布魯姆維護著艾爾多斯問題網站,並曾稱魏爾的帖子為「戲劇性的誤導」。OpenAI 在 X 平臺上表示,近 80 年來,數學家認為最佳解法大致像方格網一樣,而該模型現在證明瞭這一信念,並發現了一種全新的構建家族,表現更佳。公司宣稱這是 AI 首次自主解決一個對數學領域至關重要的著名開放問題。

該證明來自於 OpenAI 的新通用推理模型,而非專門設計用於解決數學問題或此特定問題的系統。OpenAI 認為這具有重大意義,因為這意味著 AI 系統現在能夠更好地整合長而困難的推理鏈,並以研究人員此前未探索的方式連線跨領域的觀念。這對生物學、物理學、工程和醫學等領域具有深遠影響。數學家布魯姆在宣告中表示,AI 正在幫助我們更充分地探索數學家數世紀來建立的數學大教堂,並詢問還有什麼未見的神奇事物在等待著。


分享這篇文章:

上一篇
Anthropic 將每月支付 xAI 12.5 億美元用於運算資源
下一篇
IrisGo 由 Andrew Ng 支持的創始企業,致力成為你從未知悉卻需要的 AI 桌面夥伴