OpenAI 宣布在 GitHub 发布内部模型产生的数学研究成果，并为论文修订和引用建立规则。公开材料还包含部分 Lean 形式化证明以及模型推理过程和计算使用情况的说明。
公司表示，将继续增加形式化材料，并支持理解相关成果的研讨活动。数学研究结果仍需要专业审阅与证明核验，公开发布并不替代后续学术验证。
消息来源：OpenAI 官方原文。原文发布日期：2026-10-06。本文为罗经 AI 编辑摘要。
来源官方配图
