Research model by Google DeepMind that reasons about geometry problems and mathematical proofs with advanced AI reasoning.