Artificial intelligence (AI) has reached the stage of directly proving complex mathematical theories beyond simple calculation. Google DeepMind researchers on the 13th published findings on the AI ...