DeepMind has applied its mastery of games to a more serious business: the foundations of computer science. The Google subsidiary today unveiled AlphaDev, an AI system that discovers new fundamental ...