【数学】審査に７年、難問「ABC予想」論文が掲載　京都大の望月教授が証明 [すらいむ★]

>>48

コンピュータは、ブール代数を論理の基本にしているので、ブール代数で記述できない世界は無理。
従って、一般の数学をコンピュータで処理するのは、無理。
つまり、AIでは無理。