>>588
>「従来とは異なるすさまじいモデル」を否定するつもりはないが
>そもそも東大の入試問題（高卒レベル）が解けたって
>数学者にはなれんけどな
>セタ　こんなもんコピペして何がしたいん？

ふっふ、ほっほ
言いたいこと？

1）数学でも過去に、コンピュータの活用が起きた
　古くは数値計算で、πの少数点以下 数十年かけて500桁計算した人がいたが
　いま、コンピュータで1兆桁以上
　偏微分方程式も 数値解法が進歩
2）証明で、昔 一松信先生が 4色問題の証明がコンピュータを使ったことを指して
　これから、コンピュータを使う証明が出てくるだろうと予言したが
　その後、有限単純群の分類、ケプラー問題（3次元最密充填）などが出ている
　数式処理や、群論ソフトなどなども出た
3）そしていま、AI数学革命が始ったのです

おサルさんを 遙かに超える AI数学 “考える”AI、o1とo3-mini”
おサルさんみたいな 中途半端のオチコボレさんは、要らないってよｗｗｗ　；ｐ）