OpenAI近日公佈，其下一代主要模型的一個內部版本在數學和理論電腦科學領域長期未解決的開放問題上取得了10項新成果。據OpenAI介紹，這些成果所使用的計算成本約為按照GPT-5.6 Sol API費率計算的2000美元token費用。這一數字凸顯了AI在解決高難度科學問題時的效率潛力。

OpenAI表示，將釋出這些手稿、正式的Lean證明證書以及推理過程說明，供數學家們審查這些結果，並在相關研究思路基礎上進一步發展。此舉旨在確保成果的可驗證性，並促進學術界與AI研究社群的協作。

這些成果覆蓋多個數學分支，包括球體堆積、編碼理論、群論、量子複雜性、格密碼學、極值組合學等領域。其中特別提到，成果包括證明非sofic群的存在性，以及對高維球體堆積界限取得指數級改進。這些問題的解決可能對密碼學、編碼理論等應用領域產生深遠影響。

值得注意的是，OpenAI並未透露該內部版本的具體名稱或釋出時間，但強調其屬於“下一代主要模型”。這一進展延續了AI在數學推理方面的突破趨勢，此前已有多個模型在競賽數學題上表現優異，但解決長期未解的開放問題尚屬少見。

從行業角度看，AI在基礎科學領域的應用正成為競爭焦點。OpenAI此舉或旨在展示其模型在複雜推理上的能力，同時通過公開驗證流程增強可信度。不過，這些成果仍需經過數學界的嚴格審查，其實際價值有待時間檢驗。對於關注AI技術邊界的觀察者而言，這一事件標誌著AI從輔助工具向主動研究者的角色轉變，但距離全面替代人類數學家仍有距離。