数学と謎解き、そしてAI 数学と謎解き、そしてAI