OpenAI 数学文档被质疑：约 1% 证明有错需撤回
OpenAI 日前发布 700 多份数学手稿「Big Bag of Slop」，数学家 grotsen 批评其问题不止于呈现粗糙，有同事发现部分证明存在实质错误；与前 OpenAI/Anthropic 研究员 suchenzang 等指出其中约 1% 证明可能需要撤回。研究界围绕错误率是约 1% 还是更大、部分错误能否修复展开热议，讨论这究竟是成功还是灾难。
2026-10-09 ~ 2026-10-09 · 3 条相关
- 第 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 数学智能体被指产出大量需撤回的证明，错误率约 1% — suchenzang · 2026-10-09
- 数学家质疑 OpenAI 700 篇数学文档：不止排版烂，证明也有问题 — burny_tech · 2026-10-09
- AI 数学证明错误率约 1%,研究者热议这是成功还是灾难 — srchvrs · 2026-10-09