OpenAI狂拋400數學成果 學者嘆需十年消化
OpenAI突然釋出近400項AI生成數學成果，涵蓋組合數學、幾何、數論等多領域，震撼全球數學界。多位學者形容情況「純粹瘋狂」，指即使AI消失，人類仍需十年才能理解全部內容。僅42%論文經Lean驗證，學界憂心低質輸出氾濫。
【揀報】OpenAI本周突然拋出近400項AI生成數學成果，遍布719篇論文，涵蓋組合數學、幾何、數論、理論計算機科學等多個領域。數十名數學家向《The Verge》形容這是「純粹瘋狂」（pure insanity），指單是理解這些成果已需數年時間。 史丹福大學數學家Jared Duker Lichtman指出，當中「數十項」成果足以角逐菲爾茲獎，包括黎曼猜想、四維Kakeya猜想等重大問題。帝國學院教授Kevin Buzzard直言：「我只能閱讀可能不正確的垃圾輸出（slop），或等別人驗證。」 OpenAI承認僅約42%論文經Lean程式語言正式驗證，其餘需人工審核。康涅狄格大學教授Álvaro Lozano-Robledo說，單看摘要已「令人不堪負荷」（overwhelming）。紐約大學數學家Tristan Buckmaster透露，至少三個研究團隊的工作被「全盤摧毀」。 OpenAI在GitHub承諾會繼續更新驗證結果及改善引用，但未回應《The Verge》進一步查詢。
新聞來源：《The Verge》