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