# OpenAI 发布内部前沿模型生成的数学成果合集

Source: https://www.zaihua.news/article/44251/

[返回新闻流](https://www.zaihua.news/)
2026年10月7日 · 09:25 · [在花新闻](https://www.zaihua.news/about/)

# OpenAI 发布内部前沿模型生成的数学成果合集

OpenAI 发布由内部未公开前沿模型生成的数学成果，GitHub 合集含 722 篇手稿、372 个结果系列，涉及长期未解问题。许多证明已用 Lean 形式化验证。

仓库称，模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力，评估期间约尝试 4000 道题，并提供 10 份推理摘要。部分结果仍处于验证阶段。

[The Verge](https://www.theverge.com/ai-artificial-intelligence/1005004/openai-math-release-github) | [GitHub](https://github.com/openai/math) | [OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/)

🌸 [科技圈](http://t.me/zaihuanews)· [茶馆](https://t.me/zaihuachat) · [投稿](http://t.me/ZaiHuabot)

[上一条Claude 现可在 Google 文档、表格、幻灯片内编辑](https://www.zaihua.news/article/44250/)[下一条Anthropic 向初创企业送一年 Claude](https://www.zaihua.news/article/44252/)