OpenAI 数学成果集中发布引发数学界震动与反思

OpenAI 近期发布了涵盖组合数学、几何、数论等多个领域的近 400 项 AI 生成数学成果，分布在 700 多份手稿中。数学界对此反应复杂，既有对部分成果高质量的认可，也对验证难度、学术归因缺失及对现有研究计划的干扰表示担忧。目前仅约 42% 的成果经过 Lean 形式化验证，研究人员普遍认为消化这些成果可能需要数年时间。