Buterin's updated roadmap puts quantum resistance and privacy at the centre, and says the formal verification underpinning it is only feasible with modern AI. That lands in a fortnight when AI has been implicated in a run of exploits across Bitcoin infrastructure.