14 AI solves 20 year old conjecture in graph theory (twitter.com/marsxiang_) 11 hours ago never_giveup twitter.com