OpenAI 通过 GitHub 发布 722 份 AI 生成的数学成果手稿
热点事件持续更新
OpenAI 通过 GitHub 发布 722 份 AI 生成的数学成果手稿
2 篇报道2 个报道来源7 小时前更新
先了解这件事
AI 综述
OpenAI 在 GitHub 仓库发布 722 份手稿（分为 372 个结果族），内容为其一个未公开的前沿模型对长期数学问题的解答，AGMAI 称其中包括对数百个开放问题的解决方案。仓库配有修订与引用规范。 据 The Decoder 报道，多数结果附带 Lean 形式化以便机器验证，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；此前同一模型产出的 Navier-Stokes 解动用了 1 万个 agent 和数百万美元算力，仍在正式评审中。结果未通过学术期刊发表，OpenAI 称正推进该模型的负责任发布。
AI 根据报道生成 · 1 小时前更新
最新进展10月7日 16:54
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- The DecoderOpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果
OpenAI 发布由内部前沿模型生成的 372 项数学结果，托管在 GitHub 仓库而非学术期刊，含改进主要计算机算法和与黎曼猜想相关的进展。多数结果附带 Lean 形式化以便机器验证，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；此前同一模型产出的 Navier-Stokes 解动用了 1 万个 agent 和数百万美元算力，仍在正式评审中。
- The Verge · AIOpenAI 以 722 篇手稿发布未公开前沿模型解答的数学成果
OpenAI 通过 GitHub 仓库发布 722 篇手稿，覆盖 372 个结果族，内容为一个未公开前沿模型对长期数学问题的解答，AGMAI 称其中包括对数百个开放问题的解决方案。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。