Buzzard 温和处理 AI 证 FLT 争议：只要求整理勘误表
jacobaustin132 · x · 2026-09-07
Claude 形式化费马大定理后的后续进展：@jacobaustin132 表示本周一直在 Lean Zulip 上与 Kevin Buzzard 沟通，Buzzard 的主要要求是整理一份勘误表，让这次证明带来可学的经验，目前已部分完成。
他感叹 Buzzard「非常友善，可能超出我们应得的」，并认为 Buzzard 真正在乎的是 Lean 生态的繁荣。littmath 确认了他们正是在与 Buzzard 接洽。
所属事件:Claude 证 FLT 引爆数学界抢发伦理之争(26 条相关)→
「Fun」频道最新
- 网友晒诡异一幕：设备无人操作竟自行启动 — generativist · 2026-10-27
- 作者自嘲:不是不会做预测,是我发帖前没做好 QA — dlwh · 2026-10-27
- 开发者展示游戏纹理 SD 对比 HD 升级效果，附关卡编辑器 — maxleiter · 2026-10-27
- AI 生成的《致命魔术》片段疯传，网友惊呼电影级效果难辨真假 — cneuralnetwork · 2026-10-27
- 中关村卫星工厂废壳酒吧:京东大楼上的狗与 Moonshot 头顶仿古庙 — teortaxesTex · 2026-10-27
- Arena Ladder 2566 分冠军机器人被拉下马，作者连夜迭代复仇版 — tristanbob · 2026-10-27