OpenAI一口氣放出722篇AI數學手稿，數學界開始驗收

動察 Beating AI 快訊，OpenAI 公開了一批由未發布內部前沿模型產出的數學結果，共 722 篇手稿，來自約 4000 個開放研究問題的評測。不少手稿圍繞同一個核心結果展開，合併後對應 372 組相互關聯的結果。

其中幾項直接碰到了長期未解決的重要問題。模型給出了 Unique Games 猜想的證明；證明黎曼 ζ 函數在實部大於 7/8 的區域沒有零點，被稱為「準黎曼猜想」；還處理了 CM 阿貝爾簇上的有理 Hodge 猜想，以及 1940 年代以來懸而未決的自由群因子問題。其中 Unique Games、準黎曼和自由群因子等結果已經附上 Lean 形式化證明，可以由電腦檢查證明過程。

不過，這批結果還不能全部當成定論。OpenAI 表示，不同結果的驗證程度並不一致，沒有形式化證明的部分仍可能存在錯誤。參與發布諮詢的獨立數學顧問組 AGMAI 也明確表示，它沒有為這些結果背書。