Can Ai Solve String Theory?