実際、君が挙げている次の候補も、
グラフ理論(極限まわりは除く)だったり、初等代数だったり、

「確かにその辺だったら・・・」

と思うような、現実的な候補ばかりだ。
それらの分野が実際にAIで何とかなるようになっても、それって結局、
確率的手法で何とかなる数学を意図的に探し回っているだけでしょう？
残りの数学はどうするの？