安全新闻Claude 是如何自动完成形式化验证的?从 Fuzz Harness 到 1.8 亿行 Rocq 证明的技术实现 安域星联 / 23 10 月, 2026 Anthropic与Theorem于20