OpenAI 發佈龐大數學研究成果 722 篇手稿助力數學家探索問題

OpenAI 已經釋出一個由內部前沿模型生成的龐大數學研究資料庫，為數學家提供了數百個機器生成的結果。這個資料庫發佈於公共 GitHub 存儲庫中，包含 722 篇手稿，按照 372 個研究類別進行組織。這些研究涵蓋純數學、理論計算機科學以及數學物理等領域。多個結果針對需要長時間數學推理鏈的問題進行探討。OpenAI 還發佈了許多證明的正式版本，並以 Lean 語言編寫，讓計算機能夠檢查其基本論證。

手稿內容與研究範疇

該存儲庫涵蓋了數論、計算複雜性理論、幾何學和數學物理等問題。一些結果擴展到了小進展可能需要大量技術工作的領域。OpenAI 表示：「我們釋出了由內部前沿模型生成的廣泛新數學結果。我們一直在與高級研究所的獨立數學與人工智能諮詢小組進行諮詢，並參考他們的建議。」

例如，某個結果涉及圓周率的無理指數。這個量度衡量有理數能夠多接近圓周率。該模型生成了一個結果，針對該近似的數學行為進行了探討。另一個研究類別則檢視 NP 硬性問題。這些問題位於計算複雜性理論中，涉及被認為難以高效解決的任務。該模型的工作為這一更廣泛的研究體系增添了數學結果。其他手稿則解決了涉及 Mahler 猜想、算術級數和自由羣因子的問題。該集合還包括關於量子海森堡鐵磁體及相對論性 Vlasov-Maxwell 方程的研究。

資料庫的驗證與引用

OpenAI 將相關手稿分組為研究類別，以顯示各個結果之間的聯繫。該存儲庫還標識了 10 個類別，並附有模型推理的簡要摘要。Lean 提供了一個重要的驗證層。這種編程語言讓研究人員能夠將數學陳述和證明轉換為正式代碼。計算機可以檢查每一步邏輯推理是否符合所述假設。這並不自動確立資料庫中的每一個研究聲明都是正確的，許多手稿仍然缺乏正式的 Lean 版本。OpenAI 表示，隨著研究人員完成驗證工作，將會添加更多的正式化版本。

該存儲庫還追蹤論文的修訂，並提供引用指導，讓研究人員在作者修正或擴展早期手稿時擁有更清晰的記錄。OpenAI 在高級研究所的獨立數學與人工智能諮詢小組的建議下開發了這一發佈過程。OpenAI 亦披露了其數學評估的規模。該模型在研究過程中大約嘗試了 4,000 個問題，平均每個被接受的結果消耗約三小時的 ChatGPT Pro 計算時間。此外，OpenAI 還發佈了涵蓋嘗試問題和研究結果的額外統計數據。

該公司表示，推理摘要為研究人員提供了更深入的瞭解，讓他們看到模型如何處理選定的數學問題。這些摘要與 Lean 中的正式證明是分開的。

OpenAI 計劃支持專注於理解 AI 生成的重大數學結果的工作坊、會議以及特別項目，並預計數學家的反饋將影響未來的發佈。因此，這次的釋出不僅僅是一個論文的集合，它提供了一個測試，檢視機器生成的數學如何進入研究過程，並帶有可重現的記錄、計算機可檢查的證明及更大的結果透明度。

AI 生成數學研究的影響與挑戰

OpenAI 的這次釋出標誌著人工智能在數學研究中的新進展，提供了大量機器生成的數學結果，這不僅能夠幫助數學家探索複雜問題，還可能改變傳統研究方法。資料庫中的 Lean 語言編寫的證明為研究提供了檢查機制，雖然仍需更多正式版本來確保結果的正確性。隨著數學家對 AI 生成結果的反饋，未來的研究可能會更加依賴這類技術，推動數學領域的創新與發展。