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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

29: 01/26(日)20:33 ID:w487CVHy(1/3) AAS
それ国家プロジェクトとしてやるべき
目の前に100%成果出る課題あるのに金注ぎ込まない馬鹿

30: 01/26(日)20:34 ID:w487CVHy(2/3) AAS
大学院生を奴隷のように使えばいい
どうせ99%は数学者にはならないんだし、leanに訓練させる過程で数学の知識と実力が身につくやも知れぬ

32: 01/26(日)20:38 ID:w487CVHy(3/3) AAS
既存の枠組で推論して解けるなら、んなもん自動で解けるべき。それは英語の翻訳みたいなものであって、AIがそれを完璧に出来たからって数学者の立場を脅かすものにはならない。