跳到正文
热点事件持续更新

OpenAI发布722篇AI数学手稿

4 篇报道4 个报道来源5 小时前更新

先了解这件事

AI 综述

OpenAI 在 GitHub 发布 722 篇数学手稿,覆盖 372 个结果族,称由未公开发布的内部前沿模型生成。OpenAI 称“平均每个结果”消耗的算力约相当于 ChatGPT Pro 思考三小时,多数结果来自对单个 AI 智能体的单次提示,部分经过多次尝试;许多证明附带 Lean 形式化,更多形式化仍在计划中。 据新成立的独立顾问组织 AGMAI 称,这批手稿包含对“数百个”开放问题的解答;The Decoder 报道称每项结果都声称解决了一个开放问题或取得实质进展,涉及主要计算机算法的改进以及与黎曼猜想相关的推进。上述“解决开放问题”的说法来自 OpenAI 和 AGMAI,尚未作为已证实的效果呈现。 OpenAI 表示,此次发布附带论文修订和引用协议,并称正继续探索符合该委员会准则的其他社区托管方案;未来发布将改进引用、数学表述和结果呈现。

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

报道时间线

沿着报道,了解事件的不同侧面。

10月7日
  1. The Decoder精选
    OpenAI 在 GitHub 发布 372 项 AI 生成的数学结果

    OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 项数学结果,每项都声称解决了一个开放问题或取得实质进展,其中包含对主要计算机算法的改进以及与黎曼猜想相关的推进。

  2. Latent Space精选
    OpenAI 发布内部模型产出的 722 篇数学论文,覆盖 500 个开放问题中的 90 个

    OpenAI 在公开 GitHub 仓库中发布了一批来自内部前沿模型的数学成果,共 722 篇论文、归入 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力,模型本身尚未发布。

  3. The Verge · AI精选
    OpenAI 发布 722 篇数学手稿,称解决数百个开放问题

    OpenAI 通过 GitHub 仓库发布了一批共 722 篇数学手稿,覆盖 372 个结果族,据新成立的独立顾问组织 AGMAI 称其中包含对“数百个”开放问题的解答。

10月6日
  1. OpenAI News精选
    OpenAI 公布内部前沿模型在数学开放问题上的进展

    OpenAI 发布内部前沿模型在数学开放问题上取得的新结果,并在 GitHub 上公开 Lean 证明形式化及研究细节。

本事件热度走势

可比范围当前
20
可比范围峰值
2110月7日 20:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。