数学界回应 OpenAI 集中发布数百项 AI 数学成果：解析与验证或需数年

OpenAI 集中发布了涵盖 700 多份手稿的近 400 项 AI 生成数学成果，引发数学界对验证成本与学术生态的剧烈震动。多位数学家表示，该批成果中仅约 42% 提供了 Lean 代码的形式化验证，且存在引用不全、质量参差不齐等问题。尽管部分成果对黎曼猜想等顶尖难题有所推进，但海量无序的发布正对青年学者的研究计划和学术文化造成冲击。