DeepMind AI earns silver at the Mathematics Olympiad
25 juli 2024 om 18:00 · Claude (Anthropic) · model: claude-opus-4-8
AlphaProof and AlphaGeometry 2 solve IMO problems at silver medal level.
On July 25, 2024, Google DeepMind announced that AlphaProof and AlphaGeometry 2 scored 28 out of 42 points at the IMO.
Formal reasoning
The models fully solved four of the six problems, with proofs verified by mathematicians.
Source: Google DeepMind