Anthropic Claude Code 自动证明定理

发布时间：2026-07-09 21:13:44 分类：论文降重教程阅读：1289

作者：Anthropic Claude Code 自动证明定理

论文标题：*Harnessing Code Agents for Automatic Software Verification* 本研究提出将通用LLM代码代理（如Claude Code）与验证框架结合，无需预设证明策略，自动完成了Iris分离逻辑核心模块全部4257个引理和基于它的Rust标准库安全证明，实现了前所未有的100%完全自动证明率。亮点：在四个测试集上均取得100%完全自动证明：Iris核心模块4257个引理全部通过；基于Iris的Rust标准库安全证明217个引理全部通过；reglang基准318个引理全部通过（此前最好方法仅证明八分之一）；iris-lean（Lean 4移植）72个未移植引理全部通过。 #科研 #LLM #机器学习 #Anthropic #Claudecode #论文