Google DeepMind’s new AI system can solve complex geometry problems
Its performance matches the smartest high school mathematicians and is much stronger than the previous state-of-the-art system.
https://www.technologyreview.com/2024/01/17/1086722/google-deepmind-alphageometry/