Anthropic 推出 Project Glasswing：用形式化验证为 AI 供应链构建“数学级”安全防线

AI 安全公司 Anthropic 正式启动“Project Glasswing”计划，旨在解决 AI 时代最薄弱的环节——软件供应链安全。随着 AI 模型日益成为关键基础设施，其底层依赖的操作系统、编译器和库的安全性至关重要。该项目通过引入形式化验证和沙箱隔离技术，从数学层面证明关键软件代码的正确性与隔离性，从而有效防范供应链攻击和内存安全漏洞。这一举措标志着 AI 安全边界正从单纯的“模型对齐”向更底层的“基础设施可信度”延伸，为未来部署不可篡改的高价值 AI 系统奠定了基石。