Matematisk superintelligens kommer raskere enn forventet.