Olympiad Geometry Solved by AI Innovate Forge · Follow 2 min read · Just now Just now -- ShareGoogle 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]. AlphaGeometry was tested on a set of 30 geometry problems from the IMO, and it was able to solve 25 of them[3][4]. 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]. When presented with a geometry problem, AlphaGeometry first attempts to generate a proof using its symbolic engine. If it cannot do so using the symbolic engine alone, the language model adds a new point or line to the diagram, opening up additional possibilities for the symbolic engine to continue searching for a solution[2].

Source: New York Times January 19, 2024 12:31 UTC