热点事件持续更新
OpenAI发布数学开放问题手稿
3 篇报道3 个报道来源7 小时前更新
先了解这件事
AI 综述
2026年10月6日，OpenAI在官方新闻中称，发布来自内部前沿模型的数学开放问题新结果，并在GitHub分享Lean证明形式化和研究细节。10月7日，The Verge报道称，OpenAI发布了由未发布前沿模型产出的722篇数学手稿，覆盖372个结果族；AGMAI称其中包含“数百”个开放问题解法，并称“平均结果”使用了相当于3小时ChatGPT Pro thinking的计算。随后IT之家报道称，相关GitHub资料还包含部分模型推理过程摘要、算力消耗估算值和尝试求解过的问题数量统计数据；AGMAI呼吁AI实验室通过成熟学术渠道及时发布成果，并披露模型名称、提示词、算力开销等信息。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 07:42
IT之家称GitHub资料包含推理摘要和算力等统计。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- IT之家精选OpenAI 公布未发布前沿模型解决数百个数学难题的研究成果
OpenAI 公布了某款未发布前沿模型的数学研究成果，文件包含 722 份手稿、372 个结果家族，称涵盖“数百个”未解决问题的解答。相关资料发布在 GitHub 代码仓库中，包含部分模型推理过程摘要、算力消耗估算值和尝试求解过的问题数量统计数据。AGMAI 呼吁 AI 实验室通过成熟学术渠道及时发布成果，并披露模型名称、提示词、算力开销等信息。
- The Verge · AI精选OpenAI 发布 722 篇数学手稿，称包含“数百”个开放问题解法
OpenAI 发布了由未发布前沿模型产出的 722 篇数学手稿，覆盖 372 个结果族，AGMAI 称其中包含“数百”个开放问题解法。OpenAI 称“平均结果”使用了相当于 3 小时 ChatGPT Pro thinking 的计算，并在 GitHub 仓库发布，附有论文修订和引用协议。
10月6日
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。