OpenAI披露，其一個內部模型在約一個月訓練後解出超過100道長期懸而未決的數學難題，覆蓋數學多數領域。公司稱訓練於8月28日啟動，整個執行週期約一個月，連公司內部數學家也對進展速度感到意外，內部討論已轉向如何給學術界足夠預警時間。

據披露，被解出的問題中包括第二道千禧年難題——霍奇猜想，此前公司還公佈了納維-斯托克斯千禧年難題的解答。不過，模型究竟解出了哪些題、如何解出、結果對數學與科學意味著什麼，仍是未解問題。已公佈的納維-斯托克斯解答在部分科學界人士中引發激烈爭論。

這一宣佈被外界視為一次轉向。首席科學家Jakub Pachocki此前曾表示，團隊刻意沒有針對數學做最佳化，而是聚焦遞迴自我改進。有懷疑者認為，圍繞攻克著名數學難題的宣傳，可能是為了留住並吸引投資者，尤其是OpenAI承認，它是在聽說另一支部分由Anthropic研究人員組成的團隊已破解該千禧年難題後，才著手處理這道題。

解題不等於理解

OpenAI的宣佈是對數學家批評的直接回應。在一封題為《AI在數學中的嚴重錯位》的公開信中，數學家警告不要以能解出多少開放問題來衡量AI表現。他們認為，批次產出解答會削弱概念理解——而這正是數學的核心，並最終威脅人類智識。

OpenAI表示，正與數學家合作成立數學與人工智慧顧問小組，設在普林斯頓高等研究院。該小組旨在連線公司與數學界及更廣泛公眾。公司稱需要這類指導，因為數學突破可能帶來深遠的實際用途，負責任的開發已超出數學領域本身。OpenAI稱這一合作是“第一步”，前方還有大量“難題”，涉及AI如何支援數學理解、這些能力的好處如何惠及更廣泛群體。

OpenAI保留研究節奏控制權

OpenAI稱該小組將獨立運作。成員可主動提建議、公開談論公司對數學的影響，併發布自己的建議。OpenAI不向他們支付報酬，成員可自行決定誰加入。

但小組無權控制OpenAI的推進速度。公司寫道：“重要的是，小組不負責就我們如何安排內部數學研究進度提供建議。”小組對結果如何分享有發言權，但對是否產出、產出多快沒有決定權。

Gowers加入小組但未簽署公開信

小組創始成員之一是著名數學家、菲爾茲獎得主Timothy Gowers。他沒有簽署那封由25位菲爾茲獎得主聯署的公開信，並在部落格中說明理由。Gowers認同信中許多觀點，也認為數學正陷入困境，分歧在於數學究竟為了什麼。公開信把概念理解視為主要目標、解題只是手段；Gowers則看到一個譜系：“譜系一端是主要被解題願望驅動的數學家，他們把概念理解視為實現該目標的重要途徑；另一端是主要被獲得概念理解驅動的數學家，他們把解題視為實現該目標的重要途徑。”

Gowers說，他在劍橋的自動定理證明研究專案，在大型語言模型變得足夠強後失去了存在理由。“換句話說，我們不得不吞下苦澀的教訓（當然我們一直知道這完全可能，只是發生速度令我們意外）。”

真正的風險是沒人願意成為數學家

Gowers最擔心的是，維繫數學知識的社會結構可能崩塌。原本可能攻讀博士、成為“數學傳統守護者”的人，或許會認為不再值得。“就我而言，我成為數學家的主要動力是夢想解決未解問題——越著名越好。”一旦這個夢想被拿走，用什麼填補並不清楚。還有經費問題：政策制定者可能看到AI驅動的數學，就決定人類數學家……