一位與 Vitalik Buterin 打賭的開發者，要證明單一個人可以用代理式程式開發完成一個面向 2030 路線圖的 Ethereum（ETH）客戶端，在兩週內打造出 ETH2030：使用 Go 語言撰寫，共 702,000 行程式碼，涵蓋 65 個路線圖項目，並可與以太坊主網同步。
Buterin 在週五評論了這項成果，稱之為「相當令人印象深刻的實驗」，同時點出多項重大限制，並提出一種可能性：AI 對於加速完成以太坊路線圖的影響，可能會超出社群目前的預期。
Buterin 也直言這個專案「不是什麼」：由於並未依循正式的 Ethereum Improvement Proposals（EIP，以太坊改進提案）來建置，它幾乎可以肯定存在關鍵性漏洞，並且很可能在許多功能上只是提供「存根」（stub）版本，AI 並未嘗試完整實作。
他主張，重點不在最終產出，而是發展軌跡。他寫道，六個月前，即便只是達到這種規模的原型，也「完全超出了可能的範圍」。
速度 vs. 安全
Buterin 在其論述中，將 AI 加速開發的正確使用方式，描述為在「速度」與「安全」之間分配 AI 帶來的紅利，而不是把全部紅利都用在追求開發速度上。
他偏好的模式是：用 AI 產生更大型的測試案例集合，對實作進行形式化驗證，並為同一個元件產生多個相互獨立的版本，進行交叉比對。
在致力於對所有以太坊程式碼進行形式化驗證的 LeanEthereum 專案中，一位協作者最近就利用 AI，生成了一個可由機器驗證的證明，用來證明支撐 STARK 安全性的其中一個最複雜定理。
在 Buterin 的架構下，這才是更高價值的使用情境：不是更快出貨，而是出貨時程式碼在可驗證正確性上大幅提升。
延伸閱讀： Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
他認為什麼是可能的
Buterin 小心地將他的樂觀界定為「一種可能性」，而不是明確預測。他表示，人們應該對以太坊路線圖有機會比現行預估時程更快完成、而且在更高安全標準下完成，保持開放態度。
在安全層面，他個人對另一種潛力感到興奮：所謂「沒有臭蟲的程式碼」或許會從「理想化的妄想」，轉變為對關鍵基礎設施的一項基本期待。
他也承認，絕對意義上的「完全安全」仍然不可能——那得要求程式碼與開發者心中意圖做到完全一一對應——但他主張，AI 形式化驗證已經可以消除超過 99% 由特定且定義清楚的程式碼錯誤，可能引發的負面後果。
ETH2030 儲存庫目前仍是公開可存取，位於 github.com/jiayaoqijia/eth2030。