Google's DeepMind has developed an algorithm capable of solving geometry problems. Called AlphaGeometry, this AI represents considerable progress in this sector.
When we look at what she has achieved in practice, however, it seems somewhat insignificant: she simply managed to rise to the level of a champion in the International Mathematics Olympiad. But why should we be surprised? After all, AIs now beat the greatest chess players hands down, compete with the best Go players, are capable of generating images of all kinds, to anticipate the weather.