Solving Olympiad geometry without human demonstrations

nature.com

14 pointsrobinhouston1 comment

Related ongoing thread:

AlphaGeometry: An Olympiad-level AI system for geometry - https://news.ycombinator.com/item?id=39029801 - Jan 2024 (37 comments)