人们忽视了主要问题——今天的Claude在几分钟内发现了关键问题。明天任何运行一周的人都会发现更多。 漏洞是无止境的，而AI编码引入了更多。 停止这种追逐的唯一方法是正式验证。