延续争论:长期耕耘不等于对显然研究目标拥有排他权
alz_zyd_ · x · 2026-09-07
alzzyd 重申其观点:就 FLT 形式化这个具体案例而言,主张谁先做谁就有优先权是荒谬且不科学的——用 Lean 证明费马大定理是个相当显然的目标,不应因 Buzzard 长期投入就形成事实上的垄断。
所属事件:Claude 证 FLT 引爆数学界抢发伦理之争(26 条相关)→
「Fun」频道最新
- Palantir 军事 AI 提示词曝光:「你醒在了圣盔谷,兽人大军压境」 — generativist · 2026-10-27
- OpenAI 历代发布纯凭感觉分档：o3 进 S 档，6.1 Terra 掉进 F 档 — Angaisb_ · 2026-10-27
- Anthropic 官网 404 页翻车:「Claude 什么都行,就是找不到这页」 — NathanpmYoung · 2026-10-27
- AI 圈冷笑话：为什么吹牛的人爬得快？因为热空气上升 — nabla_theta · 2026-10-27
- 开源决策模型打《红色警戒2》：先卖基地后自瞄自炸，训练后无人能敌 — heathercmiller · 2026-10-27
- 开发者调侃:天天喊 Fable 5.5 要发布,总有一天会喊中 — majidmanzarpour · 2026-10-27