已收录文章摘要，完整内容可前往原文阅读。
偶买噶，1.8亿行证明啊，Claude几周就写完，还一口气挖出数百个bug！就在今天，Anthropic官方发文：他们的「前沿红队」（Frontier Red Team）联手一家专做软件安全证明的公司