OpenAI數學成果面臨驗證呼聲

OpenAI 表示，一個尚未發布的 AI 模型在公司提交約 4,000 道問題後，產生了 722 份數學手稿，涵蓋 372 組相關結果。手稿數量不等於解決的問題數量，目前只有 162 篇論文（約 22%）的主要結果已在 Lean 中正式檢查。OpenAI 警告，尚未形式化的結果可能含有錯誤，並表示計畫加入更多 Lean 證明。 數學家呼籲保持謹慎。MIT 數學家 Andrew Sutherland 表示，在模型發布且其他人能夠重現結果之前，聲稱只靠一個提示和一個 AI 代理就產生這些成果，仍未經證實。OpenAI 提供了 10 項結果的推理摘要和平均運算量數據，但沒有提供 Institute for Advanced Study 一個諮詢小組建議公開的提示內容。 研究人員也強調，Lean 檢查確認的是依照編碼方式呈現的證明邏輯，並不能確認定理是否正確處理原始問題，或是否代表一項新突破。這批成果包括準黎曼猜想，有些觀察者認為它是其中最出色的成果。這場辯論凸顯了 AI 在數學領域的潛力，也說明透明且可由獨立人士驗證的結果不可或缺。