AIが一流研究者並に数学の問題を解けるようになるのはいつ頃になると思う？

1 ：１３２人目の素数さん：2020/02/18(火) 22:43:45.23 ID:xoYfKt2N.net

数学の証明って原理的には論理記号の組み合わせとしてバラすことが出来るから膨大な駒の数がある詰将棋みたいなもんじゃん

だとしたらいつかはAIが証明問題を一流研究者並に解けるようになるかもしれない

そうなったときの数学者の存在意義って何なん？

2 ：１３２人目の素数さん：2020/02/18(火) 22:48:53.05 ID:eZS03N1p.net

分野による。組み合わせ論なんかだと十年後くらいだろう。

3 ：１３２人目の素数さん：2020/02/18(火) 23:43:50 ID:pJVESXMs.net

普通に他のジャンルでも人類は無用になってるだろ。その暁には。

4 ：１３２人目の素数さん：2020/02/19(水) 01:31:56.01 ID:c4i7gFhl.net

単発質問でスレたてんなカス>>1
死ね