一位開發者和 Vitalik Buterin 打賭，認為單靠一個人就能以「代理式程式開發」寫出一個面向 2030 路線圖的 Ethereum（ETH）客戶端，結果在兩星期內就完成了 ETH2030──以 Go 寫成的 702,000 行程式碼，涵蓋 65 個路線圖項目，並能與 Ethereum 主網同步。
Buterin 於星期五在 留言 中評論這個結果，稱其為「相當令人印象深刻的實驗」，同時列出多項重大警告，並提出 AI 可能比社群目前預期，更大幅加速 Ethereum 路線圖完成進度的可能性。
Buterin 也直言這個專案不代表甚麼：在沒有正式 Ethereum 改進提案（EIP）作為基礎的情況下開發，它幾乎可以肯定存在關鍵性漏洞，並很可能在 AI 沒有嘗試完整實作的地方，以「存根（stub）」功能代替真正的功能。
他認為重點在於「發展軌跡」而非最終產出。他寫道，六個月前，就連具備這種規模的原型都「遠遠超出可能範圍之外」。
速度 vs. 安全
Buterin 在 X（前 Twitter）上將「AI 加速開發」的正確做法，描述為：把效率提升一分為二，部分用來加快速度，部分用來強化安全，而不是全部換成開發節奏的提升。
他心目中的理想模式是：利用 AI 產生更大的測試案例集合，對實作做形式化驗證，並為同一個元件產出多個獨立版本，彼此交叉檢查。
參與 LeanEthereum 專案的一位合作者——該專案目標是對全部 Ethereum 程式碼做形式化驗證——最近就利用 AI，為一個支撐 STARK 安全性的、極為複雜的定理，產出了可由機器驗證的證明。
在 Buterin 的框架下，這才是更高價值的使用情境：不是更快把東西推出去，而是推出「可被驗證為正確」的程式碼。
延伸閱讀： Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
他認為有可能達到的事
Buterin 小心地將他的樂觀，定位為「可能性」而不是「預測」。他表示，人們應該對這種可能性保持開放態度：Ethereum 路線圖或許會比目前時間表顯示得更快完成，而且在更高的安全標準下完成。
在安全層面上，他個人對於「無漏洞程式碼」從「理想化的妄想」，轉變為關鍵基礎設施的基本期待，感到相當興奮。
他也承認，絕對意義上的「完全安全」仍然不可能——那需要程式碼與開發者腦中想法做到完全一一對應——但他主張，AI 形式化驗證已經可以消除超過 99% 、由特定且定義清楚的程式錯誤所帶來的負面後果。
ETH2030 的程式庫目前仍公開於 github.com/jiayaoqijia/eth2030。