An Olympiad-level AI system for geometry

The International Mathematical Olympiad (IMO) announced a few months ago the AIMO Prize: 5 million USD to the first AI that can win a gold medal!

At least in geometry, this seems to be already in reach: Google DeepMind developed an AI-system that can solve in a benchmarking test 25 of 30 Olympiad geometry problems (article, Google’s blog, TheSequence blog) which is very close to the performance of an average gold medallist (the average is 25,9) and certainly higher than of an average silver medallist (the average here is 22,9).