OpenAI 发布了一系列由内部前沿模型生成的全新数学成果。为确保发布方式符合学界规范，公司咨询了普林斯顿高等研究院“数学与人工智能独立顾问组”，并采纳其建议制定最佳实践。
开源代码与形式化证明
此次成果托管于 GitHub 仓库，并确立了论文修订与引用协议。团队正探索其他符合指南的社区托管方案。未来，OpenAI 致力于通过优化引用、数学阐述及成果展示，进一步提升论文质量与可理解性。
作为仓库的一部分，OpenAI 分享了大量使用 Lean 编程语言编写的形式化证明，以便计算机验证。随着更多形式化内容的获取，仓库将持续更新。
透明度与计算成本披露
为促进科学透明，OpenAI 公开了成果获取的详细数据，包括 10 个模型推理摘要、尝试解决问题的统计数量，以及基于 ChatGPT Pro 使用情况估算的计算支出。数据显示，平均每个结果的计算量约相当于 3 小时的 ChatGPT Pro “深度思考”时间。
推动学界合作与评估
OpenAI 表示，希望借此推动人类知识边界及数学领域发展。公司将资助一系列针对 AI 重大成果的研讨会、会议及特别项目，近期将公布更多详情。
在直接赋予科学家最先进能力的同时，OpenAI 致力于负责任地发布相关模型。公司强调，继续对内部前沿模型进行数学及其他科学领域的评估至关重要，这将加速开发推进学科发展的工具。OpenAI 将持续响应社区反馈，并更新未来披露重大科学进步的标准。