Google DeepMind’s AlphaProof and AlphaGeometry 2 Solve Four Problems at 2024 International Math Olympiad
Google DeepMind’s AlphaProof and AlphaGeometry 2 solved four of six problems at the 2024 International Math Olympiad, achieving the best-ever AI performance in the competition’s history.