OpenAI集中发布近400项AI数学成果 数学界称验证或需数年

OpenAI 在 GitHub 集中发布了涵盖 700 多篇手稿的近 400 项 AI 生成数学研究成果，涉及组合数学、数论及几何等多个领域。OpenAI 表示，相关成果处于不同的验证阶段，719 篇手稿中仅有 300 篇（约 42%）完成了 Lean 代码的形式化验证，后续将补充更多验证代码。 多位数学家对此表示，解析与验证这批成果或需数年时间。虽然部分成果推进了黎曼猜想等难题，但论文存在引用不全、质量参差不齐等问题，集中发布也对学术生态和青年学者的研究计划造成了冲击。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。