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