AlphaGeometry: An Olympiad-level AI system for geometrydeepmind.google545 points_4bjt2 years agoSee also https://www.nytimes.com/2024/01/17/science/ai-computers-math...