Research AI achieves silver-medal standard solving International Mathematical Olympiad problems Published 25 July 2024 Authors AlphaProof and AlphaGeometry teams Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new frontiers in science and techno