AlphaProof and AlphaGeometry 2 Solve Advanced Math ProblemsGoogle DeepMind introduced AI models AlphaProof and AlphaGeometry 2, solving 4 out of 6 problems in International Mathematical Olympiad, rivaling human performance.