More and more cases of AI helping solve previously unsolved mathematical problems are emerging. In what appears to be a significant milestone, ...