OpenAI 於 2026 年 10 月 6 日發佈研究公告，標題為“分享人工智能在數學領域的進展”。我們正在發佈由內部前沿模型產生的一系列廣泛的數學新結果。隨着我們尋求改善向數學界分享結果的方式，我們一直在與普林斯頓高等研究院（Institute for Advanced Study）的“數學與人工智能獨立諮詢小組”（Advisory Group on Mathematics and Artificial Intelligence）磋商，以制定最佳實踐，並借鑑他們的建議和公開推薦來指導我們發佈這些結果的方式。
對於本次發佈，我們將結果發佈在一個 GitHub 倉庫中，並附有論文修訂和引用的協議。我們還在繼續探索其他由社區託管、且符合該委員會指南的發佈替代方案。對於未來的發佈，我們承諾通過改進引用、數學闡述和結果呈現方式，進一步提高論文質量，以便更好地理解。
作為 GitHub 倉庫的一部分，我們分享了許多證明在 Lean 中的形式化。Lean 是一種編程語言，允許數學證明由計算機檢查。隨着獲得更多形式化，我們將更新該倉庫。
為了促進科學透明度和開放性，我們還在倉庫中發佈了關於我們如何獲得這些結果的更多細節。這些包括 10 份模型推理摘要、以 ChatGPT Pro 使用量表示的算力消耗估算，以及關於嘗試問題數量的統計數據。平均每個結果使用的算力大約相當於三個小時的 ChatGPT Pro 思考。
我們希望這一進展能夠推動人類知識的前沿，並促成數學的進一步進步。我們將資助一系列研討會、會議和特別項目，圍繞理解人工智能產生的重大結果展開——我們將在不久的將來分享更多信息。
我們希望直接賦予科學家最先進的能力，並正在努力以負責任的方式發佈產生這些結果的模型。這就是為什麼繼續在數學和其他科學領域評估我們的內部前沿模型非常重要，這樣我們才能加速開發推動這些領域進步的工具。我們將繼續根據社區的反饋採取行動，並更新我們對未來重大科學進展披露的標準。
2026