← 返回 AIRadar 首页

Anthropic 官方团队：探索利用 Claude 实现大规模软件形式化验证

Anthropic 前沿红队宣布正利用 Claude 推进大规模软件形式化验证，旨在通过大模型克服传统验证耗时费力、仅适用于小规模代码的瓶颈，突破软件安全防线。