OpenAI 前沿模型解開多項長年數學難題
· 科技
OpenAI 揭露，一個尚未公開發表的前沿模型產出了多項長年數學難題的解答，並以 722 篇文稿的形式公布，涵蓋 372 個結果家族（將相關論文歸為同一類）。這批成果延續了近期由 AI 帶動的數學突破浪潮，令數學界部分人士既驚豔又不安。產出這些結果的模型並未對外開放。從產出規模與結果家族的分類方式來看，該系統似乎被用來通盤檢視整個問題領域，而非處理單一猜想。對數學家與 AI 研究者而言，這項發展引發兩個問題：AI 能多快對原創研究做出貢獻，以及學界該如何驗證並歸功於機器生成的證明。這些成果被描述為新的解答，而不只是重現已知工作。
為什麼重要：這顯示前沿 AI 模型正從協助計算，走向在純數學領域產出原創成果，可能重塑整個學術界進行研究、驗證與歸功的方式。
重點
- 共發布 722 篇文稿，涵蓋 372 個結果家族。
- 產出解答的模型屬於尚未公開發表的前沿模型。
- 這批成果延續了一系列令部分數學家不安的 AI 數學突破。