AIにチャレンジしてほしいこと

四色問題
いわゆる「美しくない証明」とは別のアプローチによる美しい証明

コラッツ予想
　エルデシュにして「数学はまだこの種の問題に対する用意ができていない」と言わしめた問題の解決

ABC予想
一線級の数学者が理解できない望月新一の証明の検証