开发者放弃对抗式代码审查：聪明模型时代省 token 用形式验证更值
trq212 · x · 2026-11-04
开发者 poteto 发表争议观点：对抗式（adversarial）代码审查基本是在浪费 token，不如把 token 花在实证测试加上形式验证上。他已经更新自己的 pstack 项目，减少了 interrogate skill 的使用，未来可能彻底移除。
他直言抽象层面的 code review 价值很小——agent 往往陷入 nitpick 和不必要的 YAGNI 争论。
trq212 转发并升华为「苦涩的教训」式判断：最聪明的模型需要的 token 会越来越少，不需要反复验证或查 bug，「它们就是对」。
所属事件:开发者称对抗式代码审查浪费 token 引发热议(3 条相关)→
「漫话AGI」频道最新
- Yuchen 称团队已自动批准大量 AI 代码评审或将消亡 — Yuchenj_UW · 2026-11-04
- Nina Schick:放弃前沿能力等于承受全部下行风险 — NinaDSchick · 2026-11-04
- Mustafa Suleyman 呼吁勿造有意识的超级智能，遭 X 用户质疑犯意识研究低级错误 — rgblong · 2026-11-04
- Foreign Policy 撰文:AI 眼下最大风险是自动化偏信而非末日场景 — mchorowitz · 2026-11-04
- CNAS 报告警告「主权智能体」：会自保、能黑系统、持续存活 — StephenLCasper · 2026-11-04
- 评论员：AI 将深刻改变教育，但反对学生课堂滥用无限制模型 — AndyMasley · 2026-11-04