AI 每日热点 · 2026-11-11

🔬 AI 新工艺

1. 把审查和测试证据绑定到实际发布的代码树
Brian Woods 展示将审查、测试结果与 Git tree 身份关联，并在发布前检查代码是否仍与被验证的版本一致。示例工具区分失败、未运行和通过，也强调无可信根的签名不能证明身份，验证过程本身不保证代码正确。
https://brian.biz/blog/ai-agents-verify

2. 漏洞扫描结果需要维护者分诊与独立验证
VulnCheck 梳理 Anthropic Glasswing 披露台账及 curl 维护者对一批扫描报告的处理，指出发现数量、重复项和修复数量不能混为一谈。作者统计当时公开的34份 curl 报告中有19份被标为非漏洞、6份确认为低严重性，另9份待评估；这是单项目的阶段性样本。
https://www.vulncheck.com/blog/anthropic-glasswing-november-update

🛠️ 工具及技巧

(今日无此类内容)

⭐ 开源亮点

(今日无此类内容)

📰 行业动态

(今日无此类内容)

🚀 重磅发布

1. Google DeepMind 发布 AlphaProof Code 形式化验证研究