OpenAI发布722篇AI数学手稿
先了解这件事
OpenAI 在 GitHub 发布 722 篇数学手稿,覆盖 372 个结果族,称由未公开发布的内部前沿模型生成。OpenAI 称“平均每个结果”消耗的算力约相当于 ChatGPT Pro 思考三小时,多数结果来自对单个 AI 智能体的单次提示,部分经过多次尝试;许多证明附带 Lean 形式化,更多形式化仍在计划中。 据新成立的独立顾问组织 AGMAI 称,这批手稿包含对“数百个”开放问题的解答;The Decoder 报道称每项结果都声称解决了一个开放问题或取得实质进展,涉及主要计算机算法的改进以及与黎曼猜想相关的推进。上述“解决开放问题”的说法来自 OpenAI 和 AGMAI,尚未作为已证实的效果呈现。 OpenAI 表示,此次发布附带论文修订和引用协议,并称正继续探索符合该委员会准则的其他社区托管方案;未来发布将改进引用、数学表述和结果呈现。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道,了解事件的不同侧面。
- The Decoder精选OpenAI 在 GitHub 发布 372 项 AI 生成的数学结果
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 项数学结果,每项都声称解决了一个开放问题或取得实质进展,其中包含对主要计算机算法的改进以及与黎曼猜想相关的推进。
- Latent Space精选OpenAI 发布内部模型产出的 722 篇数学论文,覆盖 500 个开放问题中的 90 个
OpenAI 在公开 GitHub 仓库中发布了一批来自内部前沿模型的数学成果,共 722 篇论文、归入 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力,模型本身尚未发布。
- The Verge · AI精选OpenAI 发布 722 篇数学手稿,称解决数百个开放问题
OpenAI 通过 GitHub 仓库发布了一批共 722 篇数学手稿,覆盖 372 个结果族,据新成立的独立顾问组织 AGMAI 称其中包含对“数百个”开放问题的解答。
本事件热度走势
- 可比范围当前
- 20
- 可比范围峰值
- 2110月7日 20:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。