OpenAI公开722篇AI数学手稿

OpenAI公开了一批由未发布的前沿模型产出的数学手稿，共722篇、覆盖372个结果族，称其中包含对“数百个”开放数学问题的解答。OpenAI表示，这些结果几乎都来自对单个AI智能体的单次提示，部分经过多次尝试，平均每项结果消耗约三小时ChatGPT Pro Thinking算力；许多证明附有Lean形式化，更多形式化还在计划中。 The Decoder报道称，这372条结果每条都声称解决或显著推进了一个未解问题，其中包含对重要计算机算法的改进以及与黎曼假设相关的进展。 这批手稿发布在GitHub仓库，并附有论文修订和引用协议。OpenAI称正探索符合委员会准则的社区托管替代方案，并承诺未来发布会在引用、数学表述和结果呈现上继续改进。据新成立的独立顾问组织AGMAI介绍，这批成果此前已被期待数周；OpenAI在9月曾表示其模型“解决了数学大部分领域100多个长期开放问题”。

AI 根据报道生成 · 38 分钟前更新

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