OpenAI发布372个AI生成数学结果
热点事件观察中
OpenAI发布372个AI生成数学结果
2 篇报道2 个报道来源1 天前更新
先了解这件事
AI 综述
OpenAI 在 GitHub 仓库发布 722 篇数学手稿，覆盖 372 个结果族，称其中包含对“数百个”开放问题的解答或实质进展，涉及计算机算法改进和与黎曼猜想相关的推进。这些结果由一款未发布的前沿模型生成，OpenAI 称几乎每条结果都来自对单个 AI 智能体的单次提示，部分经过多次尝试，平均每条消耗约三小时 ChatGPT Pro Thinking 算力。 OpenAI 表示许多证明附带了 Lean 形式化，并计划补充更多；后续发布将改进引用、数学表述和结果呈现。上述“解决开放问题”等说法来自 OpenAI 及 AGMAI，尚未经独立验证。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 16:54
OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- The DecoderOpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼猜想相关的推进。
- The Verge · AIOpenAI 发布 722 篇数学手稿，称解决数百个开放问题
OpenAI 通过 GitHub 仓库发布 722 篇数学手稿，覆盖 372 个结果族，据 AGMAI 称其中包含对“数百个”开放问题的解答。这些结果由一款未发布的前沿模型产出，OpenAI 称“平均结果”相当于 ChatGPT Pro 思考三小时，并附上部分推理摘要、算力估算和尝试问题数量统计。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。