数学家澄清 OpenAI 与 Anthropic 的 Hodge 猜想进展被夸大
数学家 Elliot Glazer 就 OpenAI 与 Anthropic 前沿模型在 Hodge 猜想上的进展发表系列评论，指出 OpenAI 此前的营销言过其实：一方此前只对 CM 阿贝尔簇证明了 Hodge。他随后澄清，所有 Hodge 相关结果均未经 Lean 形式化，仅 CM 结论获得双方独立验证。他还提出「难度收敛」论点，认为两家模型不约而同地取得了同一程度的部分进展。
2026-10-07 ~ 2026-10-08 · 3 条相关
- 第 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 一次性发布 722 篇数学预印本引发学界激战(2026-10-10,30 条)
- 第 17 集:X 上激辩：OpenAI 发数学证明是否存在声誉风险(2026-10-10,2 条)
- 数学家吐槽 OAI 对 Hodge 猜想进展的营销言过其实 — ctjlewis · 2026-10-07
- OpenAI 与 Anthropic 模型同解 Hodge 猜想同一特例 — jekbradbury · 2026-10-08
- Elliot Glazer 澄清:Hodge 结果均未形式化,仅 CM 结论获双方独立验证 — basedjensen · 2026-10-08