反例があるならAIでも解ける
反例がなく主張が正しいような予想の証明にはAIは使えないだろう