Thomas Mulligan examines how cutting-edge artificial intelligence has finally cracked a trio of legendary mathematical puzzles that eluded scholars for decades.