The Decoder· Matthias Bastian·· 2 小时前精选AI 评分78
Anthropic 让 Claude 自动写代码并用数学证明其安全性
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 与 Theorem 合作，让 Claude 将崩溃测试转化为数学问题、分析编译后的机器码并生成证明，由独立验证程序 Rocq 自动检查，Anthropic 称该过程几乎不需要人工审核。
推荐理由
Anthropic 让 Claude 把崩溃测试转化为数学证明来自验代码，能发现多年测试遗漏的漏洞，但仅适用于特定架构、单线程及 64MB 以下输入。
来源：The Decoder · the-decoder.com