Anthropic的Claude现在能自动编写代码并证明其安全性

Anthropic让Claude生成数学证明来验证现有代码的正确性，为123个开源库生成了约1.8亿行证明代码。在此过程中，该模型发现了多年测试都未能发现的错误。Anthropic的目标是使AI形式验证像标准测试一样成为常规流程。

摘自 The Decoder

还没有足够的连续观测数据，暂不绘制趋势。