OpenAI 一次发布 722 项数理突破引热议
OpenAI 一次性发布约 700 余项数理成果（一说 722 项），有数学家感叹「一天顶三十年」。2025 年 7 月 AI 在有已知答案的奥赛题上达到金牌水平后，战场已转向真正的开放难题，AI 驱动的突破正以批为单位出现。但也有数学家批评称，AI 无法解释证明为何成立，验证工作实际全靠 Lean 形式化引擎完成，OpenAI 抢先邀功且大部分成果经不起检验。博主预测明年此类「炸裂级公告」将不再令人惊讶。
2026-10-31 ~ 2026-11-01 · 4 条相关
- 第 1 集:OpenAI 纳维-斯托克斯解被指钻千禧年大奖规则漏洞(2026-10-30,2 条)
- 第 2 集:OpenAI 一次发布 722 项数理突破引热议(2026-10-31,4 条)
- 第 3 集:陶哲轩批AI解数学如「露天开采」：Navier-Stokes 领域陷入混乱(2026-11-01,4 条)
- OpenAI 一次性放出 700 份手稿，数学家惊呼一天顶三十年 — kimmonismus · 2026-10-31
- AI 做数学的真相：Lean 形式化验证才是主角，AI 只是盲件 — gerardsans · 2026-10-31
- 数学家批评 OpenAI:AI 证明靠 Lean 验证却抢先邀功,大部分经不起检验 — gerardsans · 2026-10-31
- OpenAI 单次发布 722 项数理突破，博主预测「炸裂级公告将无人惊讶」 — Dr_Singularity · 2026-11-01