The Decoder· Matthias Bastian·· 13 天前AI 评分70
Anthropic 用 Claude 自动形式化验证现有代码正确性
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 将 crash 测试转化为数学问题并生成形式化证明，数周内产出约 1.8 亿行证明代码，由 Rocq 程序自动校验。
来源：The Decoder · the-decoder.com