Vitalik Buterin: Without AI, the implementation of the remaining Ethereum roadmap could take 20 years. The founder of Ethereum spoke about the concept of Lean Ethereum - a set of network updates that are planned to be implemented in the coming years with the widespread use of ZK evidence and artificial intelligence. According to Butrin, such technologies were tried not to be implemented at the basic level of Ethereum because of too high a risk. They are now mature enough for wider use. Buterin provides a special role official verification with the help of AI - mathematical verification of the correctness and security of the new code. He believes that the use of AI will significantly accelerate the development and implementation of Ethereum updates, which without these tools can stretch for decades.