OpenAI 10 月 6 日公布内部前沿模型取得的一批数学研究结果，将论文、修订与引用流程，以及许多证明的 Lean 形式化版本放入 GitHub 仓库，便于计算机检查证明。
公司同时分享了推理摘要、算力估计和尝试题目的统计，并计划继续补充形式化材料。披露方式参考了独立数学与人工智能咨询组的建议。此次发布的是研究结果，底层模型尚未面向公众开放，形式化材料也尚未覆盖全部证明。官方公告。
内部模型的研究结果与复现信息已发布到 GitHub；此次公告没有开放模型本身。
本文为译文。 阅读原稿
OpenAI 10 月 6 日公布内部前沿模型取得的一批数学研究结果，将论文、修订与引用流程，以及许多证明的 Lean 形式化版本放入 GitHub 仓库，便于计算机检查证明。
公司同时分享了推理摘要、算力估计和尝试题目的统计，并计划继续补充形式化材料。披露方式参考了独立数学与人工智能咨询组的建议。此次发布的是研究结果，底层模型尚未面向公众开放，形式化材料也尚未覆盖全部证明。官方公告。