Science ❯ Computer Science ❯ AI Research ❯ DeepMind
Google DeepMind's AlphaProof and AlphaGeometry 2 solve complex problems at the International Mathematical Olympiad