# OpenAI 发布内部前沿模型产出的数学成果

> 原标题：Sharing AI progress in mathematics

- 来源：OpenAI News
- 发布时间：2026-10-06T12:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/cbtsuge1nyk8qkxug3h80n4yb
- 原文：https://openai.com/index/sharing-ai-progress-in-mathematics

## 摘要

OpenAI 发布了一批由内部前沿模型产出的数学结果，并在 GitHub 仓库中公开，同时附上论文修订与引用协议。仓库还包含许多证明的 Lean 形式化、10 份模型推理摘要，以及以 ChatGPT Pro 用量估算的算力消耗，平均每个结果约相当于三小时 ChatGPT Pro 思考。OpenAI 表示正与高等研究院数学与人工智能咨询组合作制定发布规范，并将资助相关研讨会与会议。