AAI 行业动态AI 行业动态 · 2026-10-28Claude 用数学证明代码安全,OpenSSH 已修复Anthropic 公布两项研究:Claude 为 123 个开源库生成 1.8 亿行形式化证明,并发现 493 项攻击面暴露,促成 OpenSSH 10.6 修复。本文解释其原理、局限,以及开发者如何借鉴思路用 ...阅读全文 →