26/07/26 23:54:36.29 jgtmOrU+.net
>>560
>２）将来的には いまの囲碁や将棋AIみたく 人間のプロ棋士より上位互換になるかもだが
> 2026年現在の数学においては、総合的にはプロ数学者が上だろう
さて 補足
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
数体とその絶対ガロア群の初期の結果は、アレクサンドル・グロタンディークによる数体の双曲線[1]についての予想に先立ち、ユルゲン・ノイキルヒ、ギュンデュズ・イケダ、岩澤健吉、内田興二（ノイキルヒ・内田の定理）によって得られていた。
単語としての「遠アーベル」はアーベルに否定の接頭辞 an がついたもので、1980年代のグロタンディークの有名な著作である「Esquisse d'un Programme」で導入された[2] [3] 。
望月新一はいわゆる単(mono-)遠アーベル幾何学を導入および発展させた[6]。それは、数体または他のいくつかの体にわたる特定のクラスの双曲的曲線について、その代数的基本群からその曲線を復元するものである。単遠アーベル幾何学の主要な結果は望月の「絶対遠アーベル幾何学」などにある[7][8]。
遠アーベル幾何学は、類体論の一般化の1つと見なすことができる。 他の2つの一般化（高次アーベル類体論と、表現理論的ラングランズ・プログラム）とは異なり、遠アーベル幾何学は非常に非線形でnon-アーベルである[9]。
(引用終り)
この 遠アーベル幾何学 でも
いつの日か 数学AIが 自力で グロタンディークを超えるアイデアを出すかもだがｗ
さすがに いまは「ヤコビアン予想」反例(>>560) 程度が限界でしょう（それでも凄いけどね）
別に ”パーフェクトイド空間”というのがある（下記URL）
ペーター・ショルツェ氏によって 創始されたという
URLﾘﾝｸ(ja.wikipedia.org)
数学AIが パーフェクトイド体を 自力で考えたらエライと思う
2026年時点では、それらまだ無理でしょう
なので、IUTのLean形式化は かなり人間の数学者が 奮闘する必要があるだろう
望月先生、がんばって下さい！