>>502
反例を1つ見つけるという作業は大量に繰り返せればいいわけだからAIでもたどり着きやすい
というかそもそもコンピュータ登場以来どんどん加速してる
問題は予想を立てたりそれを証明したりすることの方やな