AlphaGeometry solves olympiad geometry problems
On 17 January 2024 Google DeepMind announced AlphaGeometry, a system that pairs a language model with a symbolic deduction engine and solved 25 of 30 olympiad geometry problems in a benchmark, close to the 25.9 averaged by human gold medallists.
