OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果
OpenAI 发布由内部前沿模型生成的 372 项数学结果，托管在 GitHub 仓库而非学术期刊，含改进主要计算机算法和与黎曼猜想相关的进展。多数结果附带 Lean 形式化以便机器验证，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；此前同一模型产出的 Navier-Stokes 解动用了 1 万个 agent 和数百万美元算力，仍在正式评审中。
#推理
The DecoderAI 评分7575 The Verge · AIAI 评分7474 OpenAI 以 722 篇手稿发布未公开前沿模型解答的数学成果
OpenAI 通过 GitHub 仓库发布 722 篇手稿，覆盖 372 个结果族，内容为一个未公开前沿模型对长期数学问题的解答，AGMAI 称其中包括对数百个开放问题的解决方案。