>>43
何で補助ツールって認めてるのに現状では頭脳ではないっていうの？
数学の証明って補題の連続だし細かい問題に分けてとかせりゃツールにとどまらないしAIに勝ち目なくね？
>>44
全く新しい数学が何故凄いか説明して。自分流の数学だって新しい数学になるよ？
「何か凄い定理が出てくるはずだ！」って根拠もなく思うのは小学生と一緒だよ？
もしかしたら「新しい数学はインチキを除いてこれ以上は不可能」という定理さえ出てくるかもしれない。
何故ワンチャンAIが数学を変えるかもしれないという発想には至らず
あくまで人が考えた数学がAIに貢献するみたいな考えなの？
確率論ど真ん中の拡散モデルが実世界でガチで役に立った事実を軽視するのは何故？
「新しい数学」連呼してる数学者見たことないよ
>>45
例えば東大入試数学とか難問揃いだったけど聞いたら答えてくれたよ
それに数学オリンピックの難問も解きまくってくれる