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

OpenAI本周发布近400项AI生成的数学结果，分布在700多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等领域。OpenAI称719份手稿中只有300项顶层结果已完成形式化，约占42%，并表示“将在获得更多形式化结果后更新仓库”。 截至10月8日，该记录已列出大量更正，包括对十几份手稿的修订，以及因一处“符号错误”撤下三篇论文，OpenAI称该错误使其中一项论证失效。OpenAI未说明发布背后的模型，也未披露所用提示词或模型尝试的完整问题集。 OpenAI表示将资助一系列围绕其数学工作的研讨会和会议，帮助学界消化和理解这些成果，但未提供具体形式或时间。有数学家称，这些成果需要数年才能消化。

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

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