ModelAlphaGeometry
AlphaGeometry 2
An AI geometric reasoning system developed by DeepMind, capable of solving geometry proof problems at the olympiad competition level. The system extends the original AlphaGeometry by combining a neural language model with a symbolic deduction engine to generate and verify formal geometric proofs for challenging competition-level problems.
Core Facts
In 2024, Google DeepMind's AlphaProof and AlphaGeometry 2 achieved a silver medal level on IMO-level problems for the first time.
Verified85% confidence5 sources
In 2024, AlphaProof and AlphaGeometry 2 jointly solved 4 out of 6 problems at the IMO competition, equivalent to a silver medal score.
Verified75% confidence5 sources