While more than 60 million people in the United States watched the FIFA World Cup final on July 19, an artificial intelligence model was hard at work solving—or technically, disproving—a decades-old ...