囲碁でもちょっと自動対戦させてたら人類を凌駕した
AIなら背理法を使わずに学問体型を再構築するぐらいわずかな時間でできるだろう