OpenAI发布722篇AI数学手稿

OpenAI公开了一批由其未发布的前沿模型产出的数学成果，共722篇手稿、覆盖372个结果族，称其中包含对数百个未解问题的解答，并称结果已发布在GitHub仓库，附带论文修订与引用协议。 OpenAI称，平均每个结果消耗相当于ChatGPT Pro思考三小时的算力，且几乎所有结果都来自对单个AI智能体的单次提示，部分经过多次尝试。据其介绍，许多证明附带了Lean形式化，更多形式化工作尚在计划中。 这批结果的具体数学内容由OpenAI方面描述，包括对主要计算机算法的改进以及与黎曼猜想相关的进展；上述效果均为OpenAI的说法，尚未经独立验证。

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

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