AlphaProof: IMO silver-medal level
AlphaProof and AlphaGeometry 2 solved four of six IMO 2024 problems, scoring 28 of 42, silver-medal level.
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
Official source
AI achieves silver-medal standard solving International Mathematical Olympiad problemsdeepmind.google · published