AI solves 20 year old conjecture in graph theory | Hacker News Reader