Vitalik Buterin warns AI could weaken the math behind crypto security