3 ms·
Solving Olympiad geometry without human demonstrations
- dang 3y agoRelated ongoing thread: AlphaGeometry: An Olympiad-level AI system for geometry - https://news.ycombinator.com/item?id=39029801 https://news.ycombinator.com/item?id=39029801 - Jan 2024 (37 comments)