A Google DeepMind system improves chip designs and addresses unsolved math problems but has not been rolled out to researchers outside the company