OpenAI发布近400项AI数学成果，仅42%完成形式化

OpenAI一次性发布近400项AI生成的数学结果，分布在700多篇手稿中，涵盖组合数学、几何、数论、拓扑、概率等领域。OpenAI称719篇手稿中仅300项主要结果完成Lean形式化，约42%，并承认论文处于不同验证阶段，表示将在获得更多形式化后更新仓库。 OpenAI未说明所用模型，也未披露提示词及模型尝试的完整问题集。截至10月8日，相关记录已列出大量更正，包括十余篇手稿的修订，以及因“符号错误”导致论证失效而撤下的三篇论文。OpenAI称将资助一系列数学相关研讨会和会议，但未提供细节或时间。有数学家表示，这批成果需数年才能消化。

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

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