OpenAI 前沿模型一次性抛出 722 份数学手稿，含 90 个世界前 500 开放难题

TheZvi · x · 2026-10-09

据 The Zvi 整理，OpenAI 公开了由内部前沿模型产出的海量新数学成果，全部放在 GitHub 上：包括全部数学界前 500 开放难题中的 90 个，共 722 份手稿（剔除 3 份无 Lean 证明后为 719 份），归入 372 个家族。这些结果出自单一模型（推测即产出 Navier-Stokes 证明的那个），绝大多数在单次 prompt 下完成，平均每个解约 3 小时算力，模型被要求尝试约 4000 个问题，prompt 中甚至写明「即使问题是开放难题，你的目标是解决它并给出完整证明」。这是 AI for mathematics 迄今规模最大的公开成果展示。