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