AI Achieves Silver Medal in Prestigious Math Competition

Google DeepMind's AlphaProof and AlphaGeometry 2 solve complex problems at the International Mathematical Olympiad

AlphaProof and AlphaGeometry 2 tackled four out of six problems, earning a score of 28 out of 42.
The AI systems were evaluated by renowned mathematicians, including Fields Medalist Prof. Sir Timothy Gowers.
AlphaProof uses reinforcement learning to solve formal math problems, while AlphaGeometry 2 focuses on geometry.
The achievement marks the first time an AI has reached the podium in the International Mathematical Olympiad.
Despite the success, the AI took significantly longer than human competitors to solve some problems.