AIの証明結果を検証するのが
ますます大変になる。

その検証もＡＩで機械化
せねば。　そのレポートは
検証対象以上に膨大なレポートに
なるかも。

人間は、ＡＩに解けない問題を
与えて、結果だけを応用して
実用化する方向に行くかも。

真理かどうかは実用化できて
効果を産むかどうかになる。