OpenAI发布722篇数学成果手稿

2026年10月6日，OpenAI在其官方渠道公布内部前沿模型在数学开放问题上的新进展，并在GitHub上公开Lean形式化证明与研究细节。次日（10月7日），The Verge报道称OpenAI发布一批共722篇手稿，覆盖372个结果族，据其组建的独立顾问组织AGMAI称，其中包含对“数百个”数学开放问题的解答，这些结果由一个未发布的前沿模型产出。目前事件仍处于发布与外部评估阶段，报道未披露该未发布模型的具体名称与能力细节，也未说明这些解答是否经过同行评审或独立验证。

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

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