D deepmind.google AlphaGeometry: An Olympiad-level AI system for geometry See also https://www.nytimes.com/2024/01/17/science/ai-computers-math... 545 points _4bjt 2 years ago 170 comments
