AI实战教程 Claude 给 123 个开源库做形式化验证：证明代码不崩溃，不是测了很多遍没炸 AI 写代码已经不稀奇，AI 证明代码不崩溃才吓人。Anthropic 拉上 Theorem，让 Claude…
