OpenAI发布近400项AI数学成果

OpenAI向数学界发布近400项AI生成的数学结果，分布在700多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等方向。OpenAI称719份手稿中仅300项顶层结果已完成形式化，约42%，并表示将在获得更多形式化后更新仓库。 OpenAI未说明发布所依据的模型，也未披露使用的提示词和模型尝试的全部问题。其称将资助一系列数学工作坊和会议，帮助学界消化这些成果，但未给出具体形式和时间的细节。 截至10月8日，相关记录已列出多项更正，包括十余份手稿的修订，以及因一处“符号错误”被认定使论证失效而撤下的三篇论文。

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

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