OpenAI 宣布公开发布一批由内部前沿模型产生的数学新结果。他们与高等研究院（Institute for Advanced Study）的独立“数学与人工智能咨询组”合作，制定了结果披露的最佳实践，并采纳了该委员会的建议。具体做法是：先在 GitHub 仓库发布结果，并附带论文修订与引用协议；同时继续探索符合委员会指南的社区托管替代方案。后续计划进一步提升论文的引用质量、数学阐述和可读性。

仓库中包括许多证明的 Lean 形式化——Lean 是一种能让计算机检查数学证明的编程语言，后续会不断补充。为了透明与开放，他们还会公布获得结果的过程细节：10 份模型推理摘要、以 ChatGPT Pro 使用时长估算的计算量，以及尝试解法的题目统计。平均每条结果消耗的计算量约等于 3 小时 ChatGPT Pro 的思考时长。

OpenAI 表示希望这些进展推动人类知识前沿，并资助一系列研讨会、会议和特别项目，围绕 AI 产出的重大数学结果展开讨论。同时，他们正努力负责任地发布产生这些结果的模型，并继续在数学和其他科学领域评估内部前沿模型。后续会依据社区反馈更新未来重大科学成果的披露标准。