Google DeepMind has developed an AI system called AlphaGeometry that can solve complex geometry problems, including those from the International Mathematical Olympiad (IMO)[2][3][4]. This represents a significant step towards machines with more human-like reasoning skills[2].
AlphaGeometry was tested on a set of 30 geometry problems from the IMO, and it was able to solve 25 of them[3][4]. This performance is nearly at the level of a human gold medalist in the IMO[3]. The system combines a neural language model that generates intuitive ideas and a symbolic deduction engine that verifies them using formal logic and rules[5].