新聞

OpenAI周二（10/6）公布大批由內部前沿模型產生的數學研究成果，並在GitHub公開722篇研究手稿。OpenAI尚未公開產生這批成果的前沿模型，目前正研究如何以負責任的方式釋出。

OpenAI表示，由於既有數學評測已逐漸無法拉開模型能力差距，因此把測試進一步延伸至真正尚待研究的開放問題。此次模型總計嘗試約4,000道問題，經整理與重要性篩選後，最終歸納成372個研究家族，並形成722篇研究手稿。同一家族可能包含主要結果、輔助證明、延伸推論或不同證明方式，每項研究結果平均使用的運算量，相當於約3小時ChatGPT Pro thinking。

上述研究橫跨多個數學領域，OpenAI公開其中10項成果的模型推理摘要，包括π的無理性指數、Mahler猜想、Kaplansky直接有限性猜想、Mézard–Parisi公式、自由群因子同構，以及三維相對論Vlasov–Maxwell系統等。部分特殊研究並未完全依循一般評測流程，包括黎曼ζ函數零點自由區域，以及CM阿貝爾簇的Hodge猜想證明，其中黎曼ζ函數相關論文還由人類編輯改善可讀性。

為了提高成果的可驗證性，OpenAI也替多項研究建立Lean形式化證明，讓電腦依照明確的定義、前提與邏輯規則逐步檢查證明是否成立。不過目前並非所有722篇手稿都已完成Lean形式化，OpenAI也坦言，部分尚未形式化的結果仍可能存在問題，未來將持續補上更多形式化證明並修正錯誤。

除了研究成果本身，OpenAI亦公開部分產出過程，包括模型嘗試問題的數量、運算量估算，以及10項研究成果的縮短版推理摘要，並為論文建立版本修訂與引用機制。OpenAI表示，未來還將探索由數學社群管理的成果發布平臺，並資助研討會、學術會議及特別研究計畫，協助數學家理解、驗證及延伸AI產生的重要數學成果。

與OpenAI溝通AI數學研究發布方式的獨立數學與人工智慧諮詢小組（Advisory Group on Mathematics and Artificial Intelligence，AGMAI）則將這次發布形容為「數學領域的一項重要事件」，但強調其諮詢角色不代表認可這批成果的影響，也不代表支持OpenAI取得這些結果的方式。

AGMAI先前即曾指出，AI如今可能產生連提示者都無法理解、驗證或負責的數學論證，因此數學研究不能只追求產出更多正確結果，也必須重視人類理解、發展及延伸這些成果的過程。該組織同時反對AI實驗室使用外界無法取得的專有模型測試前沿數學問題，擔心這會形成少數AI實驗室遠遠領先其他研究者的「兩級制度」，使數學社群逐漸與自身研究領域疏離，並削弱數學家自行提出問題、發展方法及探索研究方向的空間。