共 2 篇
新论文把安全 agent 的上下文压进模型一次前向传播，一秒出一个函数的漏洞判定，精度追平慢几百倍的 agent。本文讲清方法取舍和三类工程角色的用法。
Anthropic 红队和 Theorem 用 Claude 给 123 个开源库生成约 1.8 亿行数学证明，几周内抓到数百个测试漏掉的漏洞。读完能看懂形式化验证这条路线的成色和边界。