Anthropic与Theorem用Claude为123个开源库的RISC-V可执行文件证明了特定安全性质。突破不等于“AI修完所有bug”：证明仍绑定规格… · @RyanJ_KOL · TwKit

@RyanJ_KOL

Anthropic与Theorem用Claude为123个开源库的RISC-V可执行文件证明了特定安全性质。突破不等于“AI修完所有bug”：证明仍绑定规格和运行假设，但证明成本下降，可能让更多项目把可验证安全带进日常开发。 #AI #软件安全 https://www.anthropic.com/research/formal-verification

曝光 36 · 评论 0 · 点赞 2 · 书签 0