Thariq：最强模型将不再需要验证代码
this is basically the bitter lesson at work
Thariq 评论 lauren 关于“对抗式代码审查大多是浪费 token”的观点，称这基本就是 bitter lesson 在起作用：最聪明的模型需要的 token 会越来越少，不必验证工作或检查 bug，它们会直接给出正确结果。
查看原帖也许这是个有争议的观点，但我现在认为对抗式审查基本是在浪费 token。把这些 token 用在实证结合形式化验证上要好得多。我已经更新了 pstack，减少使用 interrogate 技能，最终我可能会把它完全移除。 我发现抽象意义上的代码审查价值很小，智能体往往只会陷入细枝末节和 YAGNI 之中。
查看原文
maybe a hot take but i now consider adversarial reviews mostly a waste of tokens. far better to use those tokens on empirical combined with formal verification. i have updated pstack to use the interrogate skill less, and eventually i think i may remove it altogether i have found very little value with code review in the abstract, agents tend to just get lost in the nitpicks and yagnis
正文
this is basically the bitter lesson at work
the smartest models will need fewer and fewer tokens, they won't need to verify their work or check it for bugs, they will just be right