登录

出来

分类

证明

底层到机器码的形式化验证，过去是出了名的高工程量苦活，如今借着大模型的能力，验证效率正以约每两个月翻一番的速度飞涨，而且写出来的证明还能跨项目复用。

文章