OpenAI 投入数百万美元算力攻坚千禧年数学难题
NYU 数学教授 Tristan Buckmaster 在 CNBC 采访中透露，OpenAI 已向多个千禧年大奖难题投入数百万美元级别的算力，并称这是一场「生死攸关」的竞赛。与此同时，有消息称 OpenAI 最新内部模型已开始用千禧年大奖难题做评测，原因是常规数学基准对前沿模型而言已过于简单。外界虽有人宣称 OpenAI 已死，但其在数学前沿的投入仍在持续推进。
2026-10-10 ~ 2026-10-11 · 2 条相关
- 第 1 集:OpenAI 数学证明公开与否引学界署名之争(2026-10-06,5 条)
- 第 2 集:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(2026-10-07,3 条)
- 第 3 集:数学家澄清 OpenAI 与 Anthropic 的 Hodge 猜想进展被夸大(2026-10-07,3 条)
- 第 4 集:OpenAI 论文宣称证明准黎曼猜想，数学界称堪比菲尔兹奖(2026-10-07,5 条)
- 第 5 集:OpenAI 数学成果细节:平均每题仅耗 3 小时 GPT-Pro 算力(2026-10-07,11 条)
- 第 6 集:传 OpenAI 数学成果仅发首批，还有两批待发布(2026-10-07,3 条)
- 第 7 集:OpenAI 一夜放出 722 篇数学手稿，数学界震动与分裂(2026-10-08,19 条)
- 第 8 集:OpenAI 数学仓库公开两天即撤回 3 篇论文(2026-10-08,8 条)
- 第 9 集:研究者用 Lean 验证并改进 OpenAI 数学证明(2026-10-08,2 条)
- 第 10 集:西语圈学者质疑：无人读懂 OpenAI 的 Navier-Stokes 证明(2026-10-08,2 条)
- 第 11 集:开发者用 AI 接力 OpenAI 数学发现，13 维最优结果经 Lean 验证并开源(2026-10-08,2 条)
- 第 12 集:OpenAI 单日开源 722 篇 AI 数学手稿引学界震动(2026-10-08,28 条)
- 第 13 集:「别嘲观数学家」引发AI圈激辩与玩梗潮(2026-10-09,6 条)
- 第 14 集:数学界抵制 OpenAI 参与数学研究引争论(2026-10-09,2 条)
- 第 15 集:数百数学家联名警告 AI 正在摧毁数学研究(2026-10-10,2 条)
- 第 16 集:OpenAI 一次发布 372 项数学结果，菲尔兹奖得主称遭"歼灭"式冲击(2026-10-10,34 条)
- 第 17 集:X 上激辩：OpenAI 发数学证明是否存在声誉风险(2026-10-10,2 条)
- 第 18 集:OpenAI 投入数百万美元算力攻坚千禧年数学难题(2026-10-10,2 条)
- NYU 数学教授:OpenAI 投入数百万美元算力攻坚千禧年大奖难题 — rohanpaul_ai · 2026-10-10
- OpenAI 内部模型改用千禧年大奖难题做评测，普通数学基准已太简单 — VraserX · 2026-10-11