Science ❯Mathematics ❯Mathematical Competitions ❯Problem Solving
Google DeepMind's AlphaProof and AlphaGeometry 2 solve complex problems at the International Mathematical Olympiad
