Anthropic让Claude自动为代码编写安全性证明

Anthropic让Claude为123个开源库的现有代码生成约1.8亿行数学证明代码，证明其正确性，并发现了多年测试未发现的缺陷。其目标是让AI形式化验证像常规测试一样普及。

• 专家质疑Anthropic关于AI改变工作的报告2026-10-23
• Google Cloud推出Anthropic托管版Claude选项2026-10-22
• 实验显示Claude未能研发出蝎子抗毒血清2026-10-22
• HHS计划单一来源采购Anthropic Claude合同2026-10-21
• 哈佛前AI顾问加入Anthropic监督信托2026-10-21