Vitalik Buterin argued that AI could compress decades of mathematical progress into a short period, potentially uncovering shortcuts against elliptic curves or lattice problems