AlphaProof and AlphaGeometry 2: silver medal at the International Mathematical Olympiad

In January DeepMind had shown AlphaGeometry for olympiad geometry problems. Six months later it announces a system that handles all problem types, not just geometry.

They ran it on the 6 problems of the 2024 IMO (the real one, in July, where the world's best students compete). It solved 4 of 6, earning a silver-medal score. Only the top 1 in 4 human contestants reaches that level.

Compute time: hours or days on some problems. Human contestants get 9 total hours. Still, a historic result.