这是一个相当令人印象深刻的实验。Vibe在几周内完成了整个2030年路线图的编码。 显然，在两周内没有EIP的情况下构建这样的东西有很多警告：几乎可以肯定的是，有很多关键的错误，在某些情况下，可能是AI甚至没有尝试制作完整版本的东西的“存根”版本。但六个月前，即使这样，也远远超出了可能性的范围，重要的是趋势将走向何方。 人工智能正在大规模加速编码（昨天，我尝试了代理编码，相当于我的博客软件，并在一个小时内完成，那是在我的笔记本电脑上运行的gpt-oss:20b（！！！！），kimi-2.5可能只需要一次射击）。 但是，使用它的正确方法可能是在速度上获得AI的一半收益，在安全性上获得一半收益：生成更多的测试用例，正式验证所有内容，实现更多的事物的多个实现。 @leathereum项目的一位合作者设法用人工智能编写了一个机器可验证的证明，证明了STARKs所依赖的最复杂的安全定理之一。 @leathereum的一个核心原则是正式验证一切，而人工智能正在极大地加速我们做到这一点的能力。除了形式验证之外，能够生成更大的测试用例也很重要。 不要想当然地认为，你可以在短时间内输入一个提示，并获得一个高度安全的版本；将会有很多与错误和实现之间的不一致性作斗争。但即使是摔跤也可以更快地进行5倍，更彻底地进行10倍。 人们应该对以太坊路线图的完成速度比人们预期的要快得多、安全标准比人们预期高得多的可能性（不确定！可能性）持开放态度。 在安全方面，我个人对无bug代码的可能性感到兴奋，长期以来被认为是一种理想主义的妄想，最终将成为第一种可能，然后成为一种基本的期望。如果我们关心不信任，这是拼图中不可或缺的一块。完全安全是不可能的，因为最终完全安全意味着代码行和你的思想内容之间的精确对应，这是许多TB（参见https://firefly.social/post/x/2025653045414273438 ).但是，在许多特定情况下，可以提出并验证特定的安全声明，从而减少了代码被破坏可能带来的99%以上的负面后果。