>>363
>「数学って実は汚かったんだ」
>AIの登場で2500年続いた数学の見方が変わる理由とは？
>《ブンゲン先生が解説》
>https://bunshun.jp/articles/-/78347

スレメンテナンスありがとうございます

１）AIの登場の話
　https://zen.ac.jp/zmc/activities/conf2025
　ZMCカンファレンス2025
　遠アーベル幾何学とそのコンピュータ形式化
　日程：2025年7月1日（火）〜4日（金）
　開催地：東京都中央区銀座4-12-15 歌舞伎座タワー12F ドワンゴセミナールーム
　オーガナイザー：Johan Commelin（Utrecht）星裕一郎（京都大学数理解析研究所）加藤文元（ZMC）Kiran Kedlaya（UCSD）Adam Topaz（Alberta）
　会議のテーマ：今回の研究集会では、遠アーベル幾何学のLean4による形式化の可能性について議論したいと思います。
２）IUTのLean4による検証ができると面白い
３）別に、”AIの登場で2500年続いた数学の見方が変わる理由”は、下記の東洋経済 ｢ChatGPTが東大入試解いてみた｣驚く結果の中身 を、考える必要があります
　さらに付言すれば、これはあくまで 2025年の結果で、来年再来年とどんどん AIが進化していく・・
　そのときの数学者ないし数学習熟者の社会的位置づけや いかに？ という話

https://toyokeizai.net/articles/-/863722?page=2
東洋経済 2025/03/13
｢ChatGPTが東大入試解いてみた｣驚く結果の中身
新しい｢o3｣が登場､人間はどう向き合うか
亀田 崚 : 東京大学大学院理学系研究科学生・日曜劇場『御上先生』教育監修

2025年度の理系数学は例年に比べて難しい試験であり、普通に合格するだけであれば、60点／120点 取れればいい難易度なのですが、ChatGPTはその合格ラインを優に超えてきています。（96/120）
しかも、これに関しても、人間には考えられない解答時間で解いています。（8分3秒）

以上の結果より、ChatGPT o3-mini highは明らかに東大受験生を超える数学力を有していると言えるでしょう。

高校生が数学を勉強することは意味がないのか？
では私たち、特に高校生が数学を勉強することに意味はないのでしょうか？

この疑問に答えるため、ChatGPTが間違えた問題を見ることにしましょう。次の表は、ChatGPTが満点を取れなかった問題およびChatGPTが出した答えの何が間違っていたかを一覧にしたものです。
ChatGPTの間違い方として顕著なのは、

① 場合分けを正しく行うことができない。
② 一般のnに対しての議論ができない。
の2点でした。