OpenAI 公布 722 篇数学手稿，覆盖 372 个结果族
先了解这件事
OpenAI 在 GitHub 公布一款未发布内部前沿模型产出的 722 篇数学手稿，覆盖 372 个结果族；顾问组 AGMAI 称其中包含对“数百个”数学开放问题的解答，相关证明以 Lean 形式化一同发布，供外部研究者验证，OpenAI 还制定了论文修订与引用规范。 每篇手稿附有模型推理摘要、算力估算与尝试题目统计，OpenAI 称“平均结果”约相当于三小时 ChatGPT Pro 的思考量；但模型名称、完整问题清单、性能指标和提示词均未披露，算力也只有平均值而非逐题数据。The Decoder 指出，多数结果来自对单个智能体的单次提示，与此前的 Navier-Stokes 解法需要约一万个智能体、数百万美元算力形成对比。
AI 根据报道生成 · 12 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明，呼吁学界跟上节奏
OpenAI 在 GitHub 发布了由内部前沿模型生成的 372 条数学结果，称每条结果都解决或推进了一个开放问题。多数结果来自对单个 AI 智能体的单次提示，平均消耗约三小时 ChatGPT Pro Thinking 算力，与此前需要一万个智能体、数百万美元算力的 Navier-Stokes 解法形成对比。
- IT之家OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题
OpenAI 公布了一批由某款未发布前沿模型完成的数学研究成果，包含 722 份手稿、涵盖 372 个结果家族，称其中含对数百个未解决问题的解答。相关资料还包含模型推理过程摘要与算力消耗估算，OpenAI 称一项普通成果的算力消耗大致相当于 ChatGPT Pro 连续思考三小时。
- The Verge · AI精选OpenAI 发布 722 篇数学手稿，涵盖 372 个结果族
OpenAI 公布了一批由未发布的前沿模型产出的数学成果，包含 722 篇手稿、涵盖 372 个结果族，据顾问组 AGMAI 称其中含对“数百个”开放问题的解答。手稿附有模型推理摘要、所用算力估算与尝试题目统计，OpenAI 称“平均结果”相当于三小时 ChatGPT Pro 思考量；成果发布在 GitHub 仓库，并制定了论文修订与引用规范。
- OpenAI News精选OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 公布了内部前沿模型在数学开放问题上的新研究结果，并在 GitHub 上分享了 Lean 证明形式化与研究细节。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。