Inter-universal geometryとABC予想(シン応援スレ) 92

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 91
https://rio2016.5ch.io/test/read.cgi/math/1777882286/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（2030 ICM 日本開催に向け 力をためようということか）
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops

＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko https://ivanfesenko.org/?page_id=80
・望月新一＠数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論 ＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz （J. Stix IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
つづく

つづき
追加 ホイヨ
https://ivanfesenko.org/?page_id=80
News – Ivan Fesenko
・IUT and Lean: S. Mochizuki’s talk at a workshop on AI and math theorem provers on April 10

https://aitpm.github.io/
Workshop on AI and Theorem Provers in Mathematics
AITPM

Recordings
https://www.youtube.com/playlist?list=PL1Z5Z34WXMIE1B1BOVdn-2FnIoSXLBTJQ
A video playlist of the workshop is available on YouTube.

https://youtu.be/H4n1XIa2flI?list=PL1Z5Z34WXMIE1B1BOVdn-2FnIoSXLBTJQ&t=1
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
exlean
2026/04/15
In this talk, we survey preliminary work conducted by my research group at RIMS, Kyoto University, since the fall of 2025 on the long-term project of formalizing IUT (inter-universal Teichmüller theory). This work began with the organization of this project into various stages (Stages 1〜5) and revolves (not so much around writing complete Lean code for the mathematical content of IUT in its entirety, but rather) around the idea that Lean can utilized as a communication tool for recording the precise logical structure of key portions of the logic of IUT in such a way that Lean code can be used to communicate this logic in a more precise and effective way than conventional natural language- based mathematical discourse to mathematicians who have professional expertise in writing Lean code (i.e., who, unlike my research group at RIMS, have the capacity to generate substantial quantities of professionally written Lean code). Finally, we discuss in detail, as a sort of case study, the reorganization into suitable blackboxes, from a Lean formalization-oriented point of view, of the logic of the final portion “3.11⇒3.12” of the third paper on IUT, since it is this portion of IUT that has received the most public attention. The skeletal Lean code that we wrote for this portion of IUT constituted a remarkably successful case of the use of Lean as a communication tool.

つづく

つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.amazon.co.jp/dp/4480095470
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである

つづく

つづき

数学成熟度 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity
(google訳)
"タオは次のようにアドバイスしています。
厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します"

謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
https://youtu.be/q-3IWEyfFQg?t=11https://youtu.be/q-3IWEyfFQg?t=1
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。

https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9
Henri Poincaré
https://en.wikipedia.org/wiki/The_Value_of_Science
The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902).
(google訳)
直感と論理
最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく

つづき
(参考) （ワンコラさん 細かいところに拘りすぎでしたね。次の seoさん書評ご参照）
https://youtu.be/aWPAHRsCU_Q?t=1
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 2020/05/30
留年繰り返して7年で大学卒業した後
ニートになった僕ですが
そんな僕が挫折を繰り返してきた歴史と、たどり着いた数学の勉強の仕方について動画にしました
この勉強法がわんこら式と呼ばれるようになりました
大学の数学の専門書、解析入門1を使って
数学の勉強法について話します
色々な人の参考になれば嬉しいです

＜文字起こし＞
0:11
この解析入門1
0:14
これで僕は人生が無茶苦茶になりました
0:18
これで
0:19
何回も何回も挫折して
0:22
家に引きこもって
0:24
そして留年しまくって

19:54
分からぬままに授業に入って
19:56
でそれね単位をとって
19:59
ね何とかあの一通り全部
20:02
そういうことをやって行ってから
20:04
こういう問題を見ると あ
20:06
その問題はあの本で見たとか
20:10
この問題はこの考え方は
20:13
あの本の事を 言ってるのかっていうふうに少し先のこと勉強したら結構分かってきたん
20:17
ですよ
20:19
でまぁ逆に言うと先のこと勉強して分からない奴についてはそんなにあの
20:24
別にそんな あの別に いいんで 合格
20:29
するんですよ

20:31
ここはそのあの数理解析系っていうまあ京都大学にその
20:37
ある数理解析研究所ってあるんですけれどもそこのあの
20:41
筆記試験だけそうなんとかパスしたんですけど

つづく

つづき

＜アマゾン書評＞（ seoさん 「様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです」 これ至言です。噛みしめましょう！ （＾＾）
解析入門 (1) 単行本 – 1980/3/31
杉浦 光夫 (著)東京大学出版会
書評
seo
5つ星のうち3.0 入門書としては☆ひとつ
2018年6月30日
解析学という書名で良いと思います。
入門とわざわざ付けることは非合理的で、何も良いことはありません。
様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです。
よって本書が要求するある程度以上の数学的知識の前提を満たす者は、ある程度解析学にも触れているでしょう。
そういう意味では、本書は解析学の入門者を対象にしておらず、解析学も含めたある程度の数学的形式が頭の中にすでに存在する人を対象にしています。
前提とするものを最小限にし、かつ理解しやすさと厳密性を可能な限り両立させる事ができている本、それがいわゆる良い入門書だと思います。
厳密性と網羅性が優れている本が良い入門書とは思えません。

つづく

つづき
https://rio2016.5ch.net/test/read.cgi/math/1770118812/833
アインシュタインの物理的な ”直観”が間違っていたのだが
”直観”を捨ててはいけない。修正するんだ

ここから、渕野先生の
＜厳密だけが、数学ではない＞という話につながる
”数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである”

私の数学勉強法は、 Terence Tao“big picture”、加藤文元 メンタルピクチャー を重視する
一冊の数学テキストを読むとき 一つの定理や定義を ジグソーパズルの一つの部品と考えて
どういう絵なのか？ 人物の顔か 風景か？ それを想像しながら 読むってこと
数学ジグソーパズルを解くための“big picture”をつかむ”数学的直観”を鍛える
”数学的直観”は、ヘボはしばしば間違う。それでも良い。”数学的直観”を修正し 鍛え上げていく
それは 将棋や囲碁の勉強法と全く同じだ （＾＾；
つづく

sage

sage