AI achieves silver-medal standard solving International Mathematical Olympiad problems
Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.
![](https://kbin.life/media/cache/resolve/entry_thumb/e4/0d/e40df6f2c08ef227c59dff6ab4e841f084cd1c7a4b5b172736993639d60ddf20.jpg)