延续争论:长期耕耘不等于对显然研究目标拥有排他权
alz_zyd_ · x · 2026-09-07
alzzyd 重申其观点:就 FLT 形式化这个具体案例而言,主张谁先做谁就有优先权是荒谬且不科学的——用 Lean 证明费马大定理是个相当显然的目标,不应因 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