Selv om det «logisk» har gitt mening i årevis, er det fortsatt så vilt for min at matematikk er et av de første stedene vi vil se superintelligens...