AI 导读
OpenAI 在 GitHub 发布由一个未公开内部前沿模型产出的 722 篇数学手稿，整理为 372 个相关结果族，出自约 4000 个研究问题的评估。发布包含论文、证明材料和部分推理摘要，并与高等研究院的独立咨询小组沟通了发布方式；标准流程每个结果平均使用三小时 ChatGPT Pro 思考算力，部分结果尚无 Lean 形式化，模型本身未发布。
推荐理由
原文整理了这批数学结果的结构和产出方式，读者可以据此了解其验证程度与开放获取情况。
正文
HOLY, the rumors were true: OpenAI has published 722 mathematical manuscripts produced by an *unreleased* internal model.
The collection groups them into 372 families of related results, drawn from an evaluation involving approximately 4,000 research problems.
OpenAI says the standard procedure used an average of three hours of ChatGPT Pro thinking compute per result.
The release includes papers, proof artifacts and selected reasoning summaries. The model itself remains unreleased.
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math在 X 查看被引用的帖子
来源：Chubby♨️ · x.com