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