Vitalik Buterin says AI could accelerate Ethereum’s roadmap by decades

Vitalik Buterin thinks artificial intelligence just bought Ethereum a couple of decades. Speaking at the Network State Conference 2026 in Singapore, the Ethereum co-founder said AI is speeding up work on the network’s protocol upgrades by a dramatic margin.

Without it, he suggested, some of the roadmap’s goals could have taken until 2040 or even 2050 to reach.

What Buterin actually said

The interview took place on October 9, 2026, and was reported the following day. Buterin’s focus was the Lean Roadmap, Ethereum’s plan to overhaul its core protocol.

His central claim: AI is now handling a substantial share of the research and coding that the roadmap requires. That includes some of the hardest work on the list.

The standout example is formal verification written in Lean 4. Lean 4 is a programming language and proof assistant used to write mathematical proofs that a computer can check line by line.

According to the research summary, AI’s contribution in Lean 4 reduces the need for people to manually audit huge volumes of code.

The architecture AI is helping build

The roadmap Buterin described is not a minor tune-up. Ethereum is moving toward an architecture built around recursive STARKs, automated formal verification and stronger quantum resistance.

A quick translation of those terms. STARKs are cryptographic proofs that let one party prove a computation was done correctly without everyone redoing it, and recursive STARKs are proofs that can verify other proofs. Quantum resistance refers to protecting the network against future quantum computers that could break today’s cryptography.

That is where AI comes in, according to Buterin. The research summary describes AI as becoming a crucial enabler as Ethereum heads toward this more sophisticated design.

Hegota and the end of “normal” forks

The next milestone on the calendar is the Hegota upgrade, which is expected around 2027. It is described as the last “normal” fork in Ethereum’s history.

After that, the focus is expected to tilt toward advanced cryptographic methods and formal verification, with AI integration playing a central role.

There is already some evidence that AI can do meaningful protocol work. In early 2026, experiments produced a prototype Ethereum client covering approximately 65 roadmap items. That prototype also synchronized with the Ethereum mainnet.

Buterin’s mixed feelings about AI

This is not the first time Buterin has weighed in on AI this year. Earlier in 2026, he discussed what the research summary calls AI’s dual role in crypto development.

On one side, AI can accelerate technical work. On the other, it raises security concerns about vulnerabilities, including the possibility that the same tools could help attackers find weaknesses faster.

That tension makes the formal verification angle especially interesting. If AI can generate code quickly, mathematically proving that code is correct becomes a natural safeguard against the risks AI itself introduces.

What this means for Ethereum and its stakeholders

For developers, the clearest implication is a changing job description. If AI handles more of the proof-writing and code auditing, core researchers may spend more time on design decisions and less on manual verification.

Buterin’s 2040 to 2050 framing suggests he sees AI as the difference between someday and this decade.

The security question also has not gone away. Leaning on AI for critical infrastructure code raises the stakes on getting verification right, since a subtle error in a widely used blockchain can be expensive.

What to watch next: progress on Hegota, further results from AI-built client experiments, and how much of the Lean Roadmap’s formal verification ends up being machine-generated.