热点事件持续更新
OpenAI在GitHub发布前沿模型生成的722篇数学研究手稿
3 篇报道3 个报道来源57 分钟前更新
先了解这件事
AI 综述
2026年10月6日，OpenAI官方公布其内部前沿模型在数学公开问题上的研究成果，并在GitHub开源了相关的Lean形式化证明代码与研究细节。10月7日进一步消息显示，OpenAI在GitHub发布了由未公开前沿模型生成的722篇数学手稿，涵盖372个结果族，声称包含对数百个数学开放问题的解答。文稿包含模型推理过程摘要与算力估算，OpenAI称平均每个结果耗费约相当于ChatGPT Pro连续思考3小时的算力。相关成果还附带论文修订与引用规范，以配合独立咨询小组推进学术传播与研究伦理规范。
AI 根据报道生成 · 41 分钟前更新
最新进展10月7日 07:42
OpenAI公布722篇数学手稿及算力估算，并制定修订规范配合推进学术传播与研究伦理。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- IT之家 · AI 筛选OpenAI 公布 722 份数学研究手稿，涵盖数百个未决难题解答
OpenAI 发布包含 722 份手稿、涵盖 372 个结果家族的成果文件，公布了未发布前沿模型解答数百个长期未解数学难题的最新进展。相关文稿包含模型推理过程摘要与算力估算，普通单项成果耗费算力约相当于 ChatGPT Pro 连续思考三小时。目前成果已整理至 GitHub 仓库并制定文稿修订规范，以配合独立咨询小组推进学术渠道传播与研究伦理规范。
- The Verge · AI 筛选精选OpenAI 在 GitHub 发布 722 篇数学研究手稿，公布未发布前沿模型的解题成果
OpenAI 公布了一批由未公开前沿模型生成的 722 篇数学手稿，涵盖 372 个结果族，声称包含对数百个数学开放问题的解答。该批成果已发布至 GitHub 仓库并附带论文修订与引用规范，OpenAI 称平均每个结果耗费相当于 3 小时 ChatGPT Pro 思考时间的算力。
10月6日
- OpenAI 官方动态精选OpenAI 分享数学前沿研究进展并开源 Lean 形式化证明
OpenAI 公布了内部前沿模型在数学公开问题上的最新研究成果。团队已在 GitHub 上开源相关的 Lean 证明形式化代码与具体研究细节。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。