It’s been a year since Ethereum completed its switch to proof of stake. Vitalik Buterin on what’s new, what’s next, and how he’s using AI