AlphaGeometry: An Olympiad-level AI system for geometry

news.ycombinator.com

saved by: 0 people
related read on: AlphaGeometry: An Olympiad-level AI system for geometry discussion