**OpenAI发布前沿大模型数学研究成果**

_OpenAI发布前沿大模型的全新数学能力测试成果‌_

> OpenAI通过GitHub公开其内部大模型生成的数学研究成果，包含Lean语言形式化证明以支持计算机校验。单份成果平均算力消耗约等于ChatGPT Pro三小时深度推理时长，并附带论文修订与引用规范协议。

**来源信息**
- **来源**：36氪（RSS）
- **分类**：ai-models
- **发布时间**：2026-10-07 09:27（北京时间）
- **原文**：[打开原文](https://36kr.com/newsflashes/4015136016617345?f=rss)