OpenAI公开未发布模型数学成果
What happened
2026年10月7日，The Verge报道，OpenAI公开了一批由未发布前沿模型产出的数学成果，共722篇手稿、覆盖372个结果族，据AGMAI称其中包含对“数百个”开放问题的解答；OpenAI表示“平均结果”消耗的算力约相当于ChatGPT Pro思考三小时，成果通过GitHub仓库发布，附带论文修订与引用协议。同日后续报道中，Latent Space称这批成果来自约4000道研究问题的评测，并称模型解决了500个公开数学难题中的90个；The Decoder则称GitHub上发布的是372条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。早先报道称成果为722篇手稿、覆盖372个结果族，后续报道在结果数量表述上称372条结果，并新增了“500个公开难题中解决90个”等说法。目前模型本身仍未发布。
Written by AI from the reports · updated 9 d ago
Timeline
Follow the reports to see the event from each side.
- The DecoderSelectedOpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life.
- Latent SpaceSelected[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics
The release : OpenAI published a broad set of mathematical results from an internal frontier model in a public GitHub repo .
- The Verge · AIOpenAI drops another batch of mathematical breakthroughs
OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group related papers.