数学家称需数年才能消化 OpenAI 发布的近 400 项 AI 数学结果

OpenAI 本周突然发布近 400 项 AI 生成的数学结果，散布于 700 多篇手稿中，覆盖数论、组合数学、拓扑等多个领域。OpenAI 称 719 篇手稿中仅约 300 项顶层结果完成 Lean 形式化验证，截至 10 月 8 日已有十余篇手稿修订、三篇因符号错误被撤回。多位数学家认为其中不乏可冲击菲尔兹奖级别的工作，但也担忧验证负担与职业冲击，称理解这批结果可能需要数年。