OpenAI:一次公開 722 篇內部模型寫的數學論文,模型本身還沒對外
OpenAI 把一個尚未公開的內部前沿模型做出的數學成果全部放上 GitHub:722 篇手稿、歸成 372 組結果,來自評測時嘗試的約 4,000 道題目,其中許多證明附上可由電腦檢查的 Lean 形式化版本。官方坦言這些論文未經同行審查、可能有錯,平均每個結果約花掉 ChatGPT Pro 三小時的思考算力。Sam Altman 稱這是「發現的新時代」;OpenAI 表示發布方式參考了普林斯頓高等研究院數學與 AI 顧問小組的建議,並會資助相關研討會,但部分數學家仍批評模型名稱、提示詞與失敗題數沒有交代清楚。
專家解讀
這是今天最重要、也最該被檢查的一則:數量很驚人,但數量不等於品質。722 篇裡只有部分附上電腦可驗證的 Lean 證明,其餘要靠人讀,數學界根本沒有足夠的審稿人力短期消化,最後很可能變成「先發表、等人挑錯」,挑錯成本落在學界身上。反方會說能被機器驗證的那些已經是實打實的新結果;若半年內有幾篇被頂尖期刊或專家公開確認、而且撤回的很少,我就承認這是研究方式的轉折點。