Astra 核查称 OpenAI 黎曼猜想论文证明有误
据 Elliot Glazer 透露的内部线索，数学助手 Astra 对 OpenAI 论文《Algebraicity of Weil classes on split abelian varieties》进行核查，发现其关于 Weil 类代数性的证明未做到形式化，存在缺陷。数学家 grotsen 随后跟进发布核查线程，进一步指出该论文的证明有误。
2026-10-08 ~ 2026-10-09 · 2 条相关
- 第 1 集:OpenAI 数学证明公开与否引学界署名之争(2026-10-06,5 条)
- 第 2 集:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(2026-10-07,3 条)
- 第 3 集:OpenAI 论文宣称证明准黎曼猜想，数学界称堪比菲尔兹奖(2026-10-07,5 条)
- 第 4 集:OpenAI 数学成果细节:平均每题仅耗 3 小时 GPT-Pro 算力(2026-10-07,11 条)
- 第 5 集:传 OpenAI 数学成果仅发首批，还有两批待发布(2026-10-07,3 条)
- 第 6 集:剑桥论文质疑 OpenAI Navier-Stokes 证明的 Lean 验证(2026-10-08,19 条)
- 第 7 集:Astra 核查称 OpenAI 黎曼猜想论文证明有误(2026-10-08,2 条)
- 第 8 集:OpenAI 数学仓库公开两天即撤回 3 篇论文，42% 结果已 Lean 形式化(2026-10-08,8 条)
- 第 9 集:研究者用 Lean 验证并改进 OpenAI 数学证明(2026-10-08,2 条)
- 第 10 集:数学界抵制 OpenAI 成果引开源与学界人士批评(2026-10-09,3 条)
- 第 11 集:百余位数学家集体回应 OpenAI 数学突破(2026-10-09,2 条)
- 第 12 集:OpenAI 数学文档被质疑：约 1% 证明有错需撤回(2026-10-09,3 条)
- 曝 OpenAI 黎曼猜想论文有瑕疵，Astra 核查指其未形式化证明有误 — ctjlewis · 2026-10-08
- 数学家核查 OpenAI 论文：Astra 检出 Weil 类代数性证明存在缺陷 — burny_tech · 2026-10-09