I wonder whether there will be progress in string theory from these kinds of applications of AI.