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

細かい問題に分けて解かせる？口で言うのは簡単だが、
実際にそんなやり方で論文を書いた数学者がどこにいる？

「理論上はこのやり方でいけるはずだ」

という君自身の願望を述べてるだけだよね。夢物語にすぎないね。
それとも、君が提唱するそのやり方で論文を書いてみせた具体例があるなら、ここに挙げてみせてよ。
今のままだと、実体験を伴わない君のようなライトユーザーが理想論を口にしてるだけだよ。

＞例えば東大入試数学とか難問揃いだったけど聞いたら答えてくれたよ
＞それに数学オリンピックの難問も解きまくってくれる

なぜ入試問題？なぜ数オリ？大学の教科書はどうなったの？
「大学の教科書に乗ってるムズい問題」と書いたのは君だよ？

何の教科書のどんな問題を質問したの？もちろん大学の教科書だよ？