コンピュータは数学者になれるのか？

コンピュータは数学者になれるのか？at MATH

コンピュータは数学者になれるのか？ - 暇つぶし2ch1:１３２人目の素数さん
25/01/25 22:18:47.06 /BZASPKI.net
記号論理の処理系 + ディープラーニングで、相当数の数学の問題は自動で解けると思うんだが、いまだに実用化されてないってことは、やはり技術的に難しいの？