争端核心:Buzzard 的目标不止 FLT 形式化,被抢跑伤害更大
nihilunbounded · x · 2026-09-07
nihilunbounded 指出,Buzzard 真正不满的点在于他的目标比"用 Lean 形式化费马大定理"更宏大;别人直接把最显然的子目标做掉,类似于摧毁北极星级的长线目标,会让整片研究领域"没法住人"。alzzyd 则反驳:认为长期工作就对一个显然目标拥有排他权,既荒谬也不科学。
所属事件:Claude 证 FLT 引爆数学界抢发伦理之争(26 条相关)→
「Fun」频道最新
- Matt Levine 调侃 AI 灭世警告:「担忧已被提出」的被动语态 — joshgans · 2026-10-27
- GPT-6.0 生成神帖：AI 时代唯一幸存的职业是健美? — Irtexx · 2026-10-27
- Claude 建议 A.creator 与 zeeg 买 2295 美元动捕服才能当"真游戏开发者" — zeeg · 2026-10-27
- SEO 老手:关闭个性化再测 AI 搜索,成新一代「无痕搜索」 — lilyraynyc · 2026-10-27
- 开发者用一条手指轨迹做足球游戏，直接跑进 Snapchat — willeastcott · 2026-10-27
- 连 Dario 家人都「受够了生成式 AI」，X 网友玩梗刷屏 — bennash · 2026-10-27