An AI has solved several open problems in combinatorics and graph theoryquantamagazine.org53 pointstheafh4 years ago