news

LLMs正在使形式化软件验证在更大规模上变得可行

180 分 · Hacker News 上 86 条评论 · anthropic.com