New best story on Hacker News: AlphaGeometry: An Olympiad-level AI system for geometry

AlphaGeometry: An Olympiad-level AI system for geometry
382 by FlawedReformer | 130 comments on Hacker News.