反问 Buzzard 方:目标不止 FLT 就继续做,功劳自然会有
alz_zyd_ · x · 2026-09-07
alzzyd 进一步发问:如果 Buzzard 的目标不只是用 Lean 完成 FLT,那他完全可以继续做原计划的事并获得相应认可;如果目标就是 FLT,那他输了,也就不该得到这份功劳。nihilunbounded 强调这正是争议所在——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