OpenAI 集中发布近 400 项数学结果，数学家称需数年消化

OpenAI 一次发布近 400 项 AI 生成的数学结果，分散在 700 多份手稿中，覆盖组合、数论、拓扑等多个领域，并公开在 GitHub 上。多位数学家表示仅浏览摘要就需近一小时，理解全部内容可能长达数年；其中 719 份手稿仅约 300 项结论完成 Lean 形式化，约 42%，其余质量参差不齐。OpenAI 已撤回其中 3 篇论文，并承诺后续提升论文质量和补充形式化验证。