OpenAI 发布722篇数学手稿

2026年10月6日，OpenAI 在官方渠道公布其内部前沿模型在数学开放问题上的新结果，并在 GitHub 上分享 Lean 证明形式化和研究细节。随后据 The Verge 2026年10月7日报道，这批成果包括722篇数学手稿，覆盖372个结果族；另据 AGMAI 称，手稿包含对"数百"个开放问题的解答，成果由一个尚未发布的前沿模型产生。手稿发布在 GitHub 仓库中，附有论文修订与引用协议，同时公开了模型推理摘要和算力估算。OpenAI 表示，平均每个结果相当于 ChatGPT Pro 三小时的思考量。目前报道仅披露上述信息，相关手稿的学术影响与验证情况尚待进一步观察。

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

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