T twitter.com AI solves 20 year old conjecture in graph theory 15 points never_giveup 3 months ago 4 comments