A new computer program fashioned after artificial intelligence systems like AlphaGo has solved several open problems in combinatorics and graph theory. “I was very happy to have the question answered.