一位開發者與 Vitalik Buterin 打賭，認為單一個人就可以用代理式程式開發方式，寫出一個針對 2030 路線圖的 Ethereum（ETH）client，結果在兩星期內完成了 ETH2030：70.2 萬行 Go 程式碼，涵蓋 65 個路線圖項目，並能與以太坊主網同步。
Buterin 於星期五在 評論 中稱這是「相當令人印象深刻的實驗」，同時列出多項重要但書，並提出一個可能性：AI 也許能把以太坊路線圖的完成速度，推得比社群目前的預期還要快。
Buterin 也直接指出這個專案「不是什麼」：由於並非依據正式的 Ethereum Improvement Proposals（EIP，以太坊改進提案）來建構，它幾乎可以肯定存在關鍵性錯誤，很可能還包含許多功能的「stub」版本——也就是 AI 並未嘗試完整實作，而只寫出占位程式碼。
他認為重點不在於這次的輸出，而是未來的發展軌跡。他寫道，就在六個月前，連這種規模的原型都還「遠遠不在現實可能範圍之內」。
速度 vs. 安全
Buterin 在他的 論述 中，把 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。