标签 > 数学界震动！Claude一口气写下19万行源码，揪出13年前证明错误
Claude 写出 19 万行 Lean 源码，核验三元哥德巴赫猜想并找出 13 年前证明漏洞
独立开发者 Charlie Reams 搭配 Claude Code 完成三元哥德巴赫猜想的 Lean 形式化工作，一共产出 19 4 万行 Lean 4 源码，整
2026-11-14 21:30:32
Claude 输出 19 万行源码，复核发现 13 年前数学证明存在错误引发学界讨论
最近 AI 圈和数学圈都在热议一件事，Claude 生成了足足 19 万行源码，用来复现、核验一份 13 年前的数学证明，最后找出了里面的证明
2026-11-13 11:56:18