The Verge’s Robert Hart on why new AI discoveries have left the math world ‘shell-shocked.’