争端核心:Buzzard 的目标不止 FLT 形式化,被抢跑伤害更大
nihilunbounded · x · 2026-09-07
nihilunbounded 指出,Buzzard 真正不满的点在于他的目标比"用 Lean 形式化费马大定理"更宏大;别人直接把最显然的子目标做掉,类似于摧毁北极星级的长线目标,会让整片研究领域"没法住人"。alzzyd 则反驳:认为长期工作就对一个显然目标拥有排他权,既荒谬也不科学。
所属事件:Claude 证明费马大定理后续：署名争议与社区反应发酵(18 条相关)→
「Fun」频道最新
- 研究者晒超 5000 美元补贴 Sora 算力全烧在 15 秒转圈视频上 — gandamu_ml · 2026-09-07
- 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