← 返回事件图谱

OpenAI 公布内部模型在数学开放问题上的新结果

公布内部前沿模型在数学开放问题上的成果，并在 GitHub 公开 Lean 形式化证明；次日撤回 3 篇、修订 14 篇。

分级理由

原判 A；随后撤回部分结果，按“拿不准降一级”下调为 B

机构

OpenAI

模型

未标注

确认状态 / 日期依据

官方 / official_bj

可追溯来源

• OpenAI （官方）

关联事件

• OpenAI 撤回 3 篇数学稿件、修订 14 篇

分级调整记录

• 2026-10-26T12:30:00+08:00 · A → B

  10-07 撤回 3 篇稿件（Weil 类论文存在符号错误）并修订 14 篇

事件 ID：2026-10-06-openai-math-progress
建立：2026-10-26T12:30:00+08:00
更新：2026-10-26T12:30:00+08:00