数学の未解決問題って10年後にはAIが全部解決してそうだよな