Buzzard 温和处理 AI 证 FLT 争议：只要求整理勘误表
jacobaustin132 · x · 2026-09-07
Claude 形式化费马大定理后的后续进展：@jacobaustin132 表示本周一直在 Lean Zulip 上与 Kevin Buzzard 沟通，Buzzard 的主要要求是整理一份勘误表，让这次证明带来可学的经验，目前已部分完成。
他感叹 Buzzard「非常友善，可能超出我们应得的」，并认为 Buzzard 真正在乎的是 Lean 生态的繁荣。littmath 确认了他们正是在与 Buzzard 接洽。
所属事件:Buzzard 温和处理 FLT 争议：只求整理勘误表(2 条相关)→
「Fun」频道最新
- 把 3D 打印分层当动画帧：一个让 Yishan 直呼巧妙的创意 — generativist · 2026-09-07
- 龙珠 AI 动画测试:角色卡实现悟空变身无缝转换 — Ok-Giraffe-8670 · 2026-09-07
- 程序员离职彩蛋接龙:Midjourney 工程师留了张自己脸的加载动画 — gabriel1 · 2026-09-07
- 博主称「怕 AI 的人只是不会用」，遭网友嘲讽引争议 — VoidStateKate · 2026-09-07
- Yacine 卖关子:蚊子项目只是幌子,副业拼图另有玄机 — yacineMTB · 2026-09-07
- NeurIPS 门票秒罄，Andrew Ng 担忧 agent 抢注改变会议生态 — andrewgwils · 2026-09-07