Proposing and solving olympiad geometry with guided tree search | Hacker News Reader