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

[過去ﾛｸﾞ] コンピュータは数学者になれるのか？ (52ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

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

28: 01/26(日)20:27 ID:Kpj5JyBQ(1) AAS
>>1
多分今のモデルでlean食わせたら部分的には数学者超える
もうそういう段階