数学家称消化 OpenAI 近 400 项 AI 数学成果或需数年

OpenAI 一次性发布近 400 项 AI 生成的数学成果，分布在 700 多篇手稿中，覆盖组合学、几何、数论、代数、拓扑等多个领域。三十余位数学家向 The Verge 表示，仅理解这批成果就可能耗时数年，其中仅 300 项（约 42%）顶级结果完成了 Lean 形式化验证，且已有三篇论文因符号错误被撤回。