>>49
それで、大学の教科書はどうなったの？
「大学の教科書に乗ってるムズい問題」と書いたのは君だよ？
何の教科書のどんな問題を質問したの？もちろん大学の教科書だよ？
あと>>47について追記しとくけど、

＞何で補助ツールって認めてるのに現状では頭脳ではないっていうの？
＞数学の証明って補題の連続だし細かい問題に分けてとかせりゃツールにとどまらないしAIに勝ち目なくね？

これってつまり、究極的には
「細かい問題に分けて解かせれば、リーマン予想だってAIが解いてくれる」
とも言えてしまうよね。だって、細かい問題に分ければいいんでしょ？
だからといって、そんな方法でリーマン予想を証明した数学者は存在しないし、
そもそもリーマン予想は未だに未解決問題。

なぜAIに解けないのか？その理由は簡単。どうやって細かい問題に分ければいいのか、
AIには分からないから。そして、人間にも分からない。それが分かったら、とっくに人間が解いてる。
人間では解けないけどAIなら解けるくらいの中途半端な分割を人間が与えて、
AIがその問題をギリギリ解く、みたいな都合の良すぎる展開はマンガの世界くらいのもの。

結局、「問題を細かく分ければ」などと君が言いだした時点で、
君は数学に関するAIの能力についての説得力を失ったんだよ。
まさにその「問題を細かく分割する方法をAIが自力で思いつく」ことが、
数学がAIに望んでいることだから。そこを人間が指示しなければならないなら、
それは最初から最後まで人間が数学を研究してるのと変わらない。