Anthropic 的 Claude 现可自动编写验证代码，编译分析新高度

Anthropic 的 Claude 现已具备自动编写和验证代码的能力，通过将崩溃测试转化为数学问题，深入分析编译后的机器代码，并生成全面证明以验证软件。技术分析派关注：代码质量与稳定性，关键指标再升级。#AI #技术前沿