
AlphaProof, a reinforcement-learning based system, and AlphaGeometry 2, an improved geometry-solving system, together solved four out of six problems from the International Mathematical Olympiad (IMO) for the first time, achieving the same level as a silver medalist. The systems were trained on millions of problems and used formal mathematical language to prove or disprove solutions, ...