OpenAI 宣佈 AI 取得三項科學突破

OpenAI 宣佈，其 AI 模型在數學、計算機科學與物理學三大領域實現三項重大突破，首次展現出 AI 獨立發現並嚴格證明複雜科學理論的能力，遠超常規問答或研究輔助範疇。在數學領域，該模型成功證明瞭適用於任意維度的局部平滑猜想，並以此為基石，一舉解決 Kakeya 猜想與 Stein 限制猜想；在計算機科學領域，它推翻了長期被視為基礎前提的指數時間假設，為設計更高效算法開闢全新路徑；在物理學領域，它構建出量子色動力學及楊–米爾斯理論的嚴格數學存在性證明——該問題位列克雷數學研究所公佈的七大千禧年數學難題之一。據金十數據，OpenAI 已使用 Lean 數學驗證工具對數學與計算機科學方向的成果完成形式化驗證，並同步公開全部證明材料。