Building geometry solvers for the IMO Grand Challenge | Hacker News Reader