形式化验证:半个世纪前的“代码验算”技术,为何被AI捧红?

DeepTech深科技 2026年10月31日 查看原文

已收录文章摘要,完整内容可前往原文阅读。

今年早些时候,谷歌 CEO 桑达尔·皮查伊(Sundar Pichai)在谷歌云年度大会上披露,公司约 75% 的新代码由 AI 生成,再经工程师审核批准。Anthropic 的内部数据显示,其入库