OpenAI公开前沿模型722篇数学手稿
先了解这件事
OpenAI 在 GitHub 发布 722 篇数学手稿，覆盖 372 个结果族，称其中包含对“数百个”数学开放问题的解答，这些结果由一个未公开的内部前沿模型产出。OpenAI 称，几乎所有结果都来自对单个 AI 智能体的单次提示，部分经过多次尝试，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；许多证明附有 Lean 形式化，更多形式化仍在计划中。 据新成立的独立顾问组织 AGMAI 介绍，这批成果此前已被期待数周，OpenAI 在 9 月曾表示其模型“解决了数学大部分领域 100 多个长期开放问题”。The Decoder 报道称，这些结果中包括对重要计算机算法的改进以及与黎曼猜想相关的进展。 OpenAI 称仍在为本次发布探索符合委员会准则的其他社区托管方案，并承诺未来发布会在引用、数学表述和结果呈现上继续改进。
AI 根据报道生成 · 23 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果
OpenAI 发布 372 条由内部前沿模型生成的数学结果，每条声称解决或推进了一个未解问题，其中包含对重要计算机算法的改进以及与黎曼猜想相关的进展，结果托管在 GitHub 仓库并附修订日志和引用。
- Latent Space精选OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开数学难题中的 90 个
OpenAI 在一个公开 GitHub 仓库中发布了其内部前沿模型产出的数学成果，称这批结果来自约 4000 个研究问题的评测，共 722 篇手稿、归入 372 个相关结果族，平均每个结果约消耗 3 小时 ChatGPT Pro 的思考算力，模型本身尚未发布。
- The Verge · AIOpenAI 发布 722 篇手稿，称未公开前沿模型解决数百个数学开放问题
OpenAI 发布了一批共 722 篇手稿，覆盖 372 个结果族，称其中包含对“数百个”数学开放问题的解答，这些结果由一个未公开的前沿模型产出。据新成立的独立顾问组织 AGMAI 介绍，这批成果此前已被期待数周，OpenAI 在 9 月曾表示其模型“解决了数学大部分领域 100 多个长期开放问题”。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。