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

コンピュータは数学者になれるのか？ (52ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

1(1): 01/25(土)22:18 ID:/BZASPKI(1/2) AAS
記号論理の処理系 + ディープラーニングで、相当数の数学の問題は自動で解けると思うんだが、いまだに実用化されてないってことは、やはり技術的に難しいの？

2: 01/25(土)22:20 ID:/BZASPKI(2/2) AAS
少なくとも、囲碁や将棋のAIがいまや人間よりも圧倒的に強いように、人間よりも圧倒的に強い数学AIを作ることは可能だと思うのだけど、誰もやろうとしないの？