OpenAI发布722篇数学突破手稿

2026年10月6日，OpenAI公开其内部前沿模型在数学开放问题上的新结果，并在GitHub上发布Lean证明形式化与研究细节。10月7日，The Verge报道称，OpenAI发布722篇手稿，覆盖372个结果族，称其中包含对“数百个”未解数学问题的解答，这些结果由一款未发布的前沿模型产出；发布内容还包括部分模型推理摘要、算力估算和尝试问题数量的统计，OpenAI称“平均结果”相当于ChatGPT Pro思考三小时。目前事件进展为这批手稿及形式化证明的公开，尚无后续报道。

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

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