かつては人間の知性の最後の砦であった数学は、今では突破され、AI に落とされました。