OpenAI发布近400项AI数学结果，仅四成完成形式化验证

OpenAI一次性发布近400项AI生成的数学成果，分布在719篇手稿中，覆盖组合学、数论、几何、拓扑、概率与数学物理等领域，三十余位数学家称全部理解可能需要数年。 OpenAI在GitHub说明这些结果处于不同验证阶段，仅719篇手稿中的300项主要结果完成Lean形式化验证，约占42%，并称将随进展补充。截至10月8日，更正记录已包括十余篇手稿的修订，另有三篇论文因“符号错误”被撤下，OpenAI称该错误使相关论证失效。

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

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