今のところAIは
構成的証明で存在を示すのは得意で、そこは人類最強レベルの数学者をも超えている部分も多くなってきたが
非存在の証明は並みの数学者以下
という評価