AIと人間にとって数学のネタが枯渇することは無いと思うけどね
数学の未解決問題は細かいの含めるとそれこそ星の数ほどあるよ
そして数学の未知な要素がゼロになることは未来永劫無いと思う
(公理系の中で証明も反証も出来ない未解決の命題が一定数含まれてるかも知れない)