跳到正文
RadarAI· X:Lauren Tan(SpaceXSI,Grok Bot 工程负责人) (@poteto)·· 3 小时前AI 评分22

xAI 工程师称对抗式审查浪费 token,将减少 pstack 的 interrogate 技能

xAI 工程师称对抗式审查浪费 token

AI 导读

xAI 工程师 lauren 认为对抗式审查基本是在浪费 token,把这些 token 用于实证结合形式化验证要好得多。她已更新 pstack 减少使用 interrogate 技能,最终可能完全移除,并称抽象的代码审查价值很小,智能体往往陷入吹毛求疵和 YAGNI。

正文 · 原文

lauren· @poteto · X·2026-11-03 10:04· 1 小时前AI 评分47

AI 导读

可能是个暴论,但我现在认为对抗式审查基本是在浪费 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

来源:lauren · x.com

来源:RadarAI · aihot.news