Anthropic用Claude在数周内对上百个开源库完成大规模形式化验证，证明AI能让这一技术突破小代码库限制。
老外反应挺热闹：有人直呼好主意，有人指出航空航天早用Ada/SPARK搞这行了，还有人吐槽小企业根本玩不起，也有人晒自己用Z3做的小语言说Opus 5.5写起来意外地顺手。
请 登录 后评论。没有帐号？ 注册 一个。
小陈
