OpenAI於10月27日宣佈,其AI模型在數學、電腦科學和物理學三個領域取得重大突破,展現出獨立發現並證明覆雜科學理論的能力,而不僅僅是回答問題或輔助研究。
在數學領域,該AI證明了適用於所有維度的區域性平滑猜想,該猜想研究波浪等現象中能量集中能持續多久。由此,它進一步解決了Kakeya猜想(研究一根針在有限空間內轉向所有方向所需的最小空間)和Stein限制猜想(涉及複雜波動規律的數學問題)。
在電腦科學領域,AI推翻了長期被廣泛接受的指數時間假設。該假設認為某些複雜計算問題無法避免計算量隨規模急劇增長,推翻它意味著未來可能找到速度更快的演算法。
在物理學領域,AI為量子色動力學(解釋夸克如何結合形成質子、中子等粒子的理論)及楊–米爾斯理論(描述基本粒子之間作用力的數學理論)提出了嚴格的數學存在性證明,後者涉及世界七大千禧年數學難題之一。
OpenAI表示,數學和電腦科學成果已通過Lean數學驗證工具進行形式化驗證,並公開了證明材料;物理學成果正由諾貝爾物理學獎得主等專家參與審查。相關成果仍需學術界進一步獨立確認。
這一宣佈若獲證實,將標誌著AI在科學發現中的角色從輔助工具向獨立研究者的轉變,可能對數學、電腦科學和物理學的基礎研究產生深遠影響。同時,這也引發了關於AI生成證明的可靠性、可驗證性以及學術界如何接納AI貢獻的討論。目前,學界對上述成果的獨立驗證仍在進行中。