AlphaProof and AlphaGeometry 2 Solve Advanced Math ProblemsGoogle DeepMind introduced AI models AlphaProof and AlphaGeometry 2 that solved four out of six IMO problems, showcasing advanced mathematical reasoning capabilities.