OpenAI公布前沿模型数学开放问题成果

2026年10月6日，OpenAI在其官方新闻渠道发布消息，称内部前沿模型在数学开放问题上取得新结果，并已在GitHub上公开Lean证明形式化及相关研究细节。10月7日，The Verge报道称，OpenAI发布了722篇手稿，覆盖372个结果族，称其中包含对“数百个”未解问题的解答，这些结果由一款未发布的前沿模型产出；据独立顾问组织AGMAI介绍，发布内容还包括部分模型推理摘要、算力估算和尝试问题数量的统计，OpenAI称“平均结果”相当于ChatGPT Pro思考三小时。早先报道未说明所涉具体数学问题、模型名称、结果数量或验证情况，后续报道补充了手稿数量、结果族数量及算力估算等信息。目前进展仍停留在OpenAI公布成果并公开材料阶段，未见第三方独立复核的报道。

AI 根据报道生成 · 54 分钟前更新

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