コンピュータで検証するのは
膨大な組み合わせパターンを検証するのに時間が掛かってるだけで
理論的に高度であるのとはだいぶ違うけどね

円周率を十億桁計算するのが超高度な数学ではないのと同じ