OpenAI发布近400项AI生成数学成果

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

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

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