外部精选
ai-models
#海外 AI 资讯#AI in practice#Artificial Intelligence#Anthropic#ClaudeAnthropic's Claude now writes code and proves it safe automatically
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testin…
The DecoderMatthias Bastian2026/10/23 · 3 天前1 分钟阅读
以下正文同步自 The Decoder，版权归原站所有，已转换为易读排版。
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification with AI as routine as standard testing. The article Anthropic's Claude now writes code and proves it safe automatically appeared first on The Decoder.
正文由 探How 从来源站点 RSS 同步，内容未经改写；遇到排版缺失或需要图片、视频时请以原文为准。