OpenAI 于 2026 年 10 月 6 日宣布，正在通过 GitHub 仓库发布由内部前沿模型生成的广泛数学成果。该仓库包含论文修订和引用的协议，这一安排是在与高级研究院独立的数学与人工智能咨询小组进行磋商后制定的，旨在发展向研究社区分享 AI 生成数学工作的最佳实践。
此图为 OpenAI 公告页面的宣传图，直观地体现了与研究社区分享 AI 生成数学进展的主题。
该仓库中包含许多证明在 Lean（一种允许计算机验证数学证明的编程语言）中的形式化。此外，OpenAI 还提供了十则模型针对这些结果的推理过程摘要、以 ChatGPT Pro 使用等效量度的计算资源消耗估算，以及发现过程中尝试问题数量的统计。根据该发布，平均每个结果所需的计算资源大约相当于三小时的 ChatGPT Pro 思考时间。
此图描绘了一张强调数学突破的艺术卡片，与文章讨论的新 AI 生成数学成果相吻合。
OpenAI 表示，此次发布旨在促进科学透明和开放，同时推动人类在数学领域知识的前沿。该组织计划资助工作坊、会议及专项项目，以了解 AI 系统产生的重大成果。它还表明，正在努力负责任地发布生成这些结果的模型，强调继续评估内部前沿模型在数学及其他科学上的重要性，以开发能推动这些领域的工具，并承诺根据社区反馈更新未来披露的标准。