Solving olympiad geometry without human demonstrations | Hacker News Reader