OpenAI公布数学开放问题新结果并开源Lean证明

2026年10月6日，OpenAI发布内部前沿模型在数学开放问题上的新结果，并在GitHub上公开Lean证明形式化和研究细节。10月7日，The Verge报道称，OpenAI发布了722篇数学论文，涵盖372个结果族，声称解决了数百个开放问题。这些论文由未发布的前沿模型生成，OpenAI声称平均每个结果使用了相当于3小时ChatGPT Pro思考的计算量。目前，OpenAI已在GitHub上发布结果，并提供了论文修订和引用的协议，同时还在探索其他符合委员会指南的社区托管替代方案。

AI 根据报道生成 · 4 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。