Google DeepMind’s new AI system can solve complex geometry problems