Science ❯ Computer Science ❯ Algorithms ❯ Proof Techniques
Google DeepMind's AlphaProof and AlphaGeometry 2 solve complex problems at the International Mathematical Olympiad