An AI has solved several open problems in combinatorics and graph theory | Heykuki News