反问 Buzzard 方:目标不止 FLT 就继续做,功劳自然会有
alz_zyd_ · x · 2026-09-07
alzzyd 进一步发问:如果 Buzzard 的目标不只是用 Lean 完成 FLT,那他完全可以继续做原计划的事并获得相应认可;如果目标就是 FLT,那他输了,也就不该得到这份功劳。nihilunbounded 强调这正是争议所在——Buzzard 的目标本就更宏大。
所属事件:Claude 证明费马大定理后续：署名争议与社区反应发酵(18 条相关)→
「Fun」频道最新
- David Sacks 称有组织资金收买网红散布 AI 悲观论 — beffjezos · 2026-09-07
- OpenAI发布GPT-6 Astra不到4天,KOL晒解剖引擎森林等10例demo — minchoi · 2026-09-07
- 用户在目录里发现 Claude 主动写的「交接文档」，直言被吓到 — repligate · 2026-09-07
- 数据中心次声波视频遭逐条打假，Benn Jordan 回应被指回避 — AndyMasley · 2026-09-07
- 学者吐槽：越来越多教师网站一看就是 Claude/Codex 生成 — xuanalogue · 2026-09-07
- 「镜子里看到十年后的自己」AI 视频引 Reddit 热议 — Weak-Abalone-9647 · 2026-09-07