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
つづく

>>344
そういうのって
「すげえ危険なことやってんだぜえー」
みたいな幼稚なレトリックだよ

加藤とかガチで幼稚だろ
文章も汚ねえし

>>347
単発で見るとレトリックっぽいが
実際には非常に具体的な望月のミスった箇所の指摘なんだよ
望月への配慮から事例として上げてないが

>>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず

まあ、そう慌てるな
慌てる乞食は貰いが少ない

たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る

要するに いまのLean 証明に乗せればいいだけでしょ
頑張れ 望月一派！ｗ

おっと、2030は日本かもねｗ
はてさて、どうなるか？（＾＾
(参考)
https://www.mathsoc.jp/section/icm2030bid/
一般社団法人　日本数学会
ICM2030招致委員会

遠アーベル自体がなんか変な分野なんだよな
そこにさらにF1の絶対数学とか眉唾なものが

>>349
慌て始めてるのがIUTじゃん
メクラw

コピペ爺さんまじやべえな
文盲じゃね

>>334 追加
望月一派に捧ぐ
下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』”

頑張ってください
ICM2030日本開催をめざして

https://www.gravityofdivine.com/ja/quotes/ijin3800/
The Gravity of Divine
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
20260511

目次
運営者の考察
補助的分析（AIによる語彙・背景・正確性の中立整理）
一般的な解釈
翻訳注意・文化的留意点
出典・原典情報
関連する黄金律
同じ人物の名言一覧

私はかつて、『掃除が出来ない人』だったが、今は『掃除の人』である。掃除を甘く見てはいけない。理路整然とした思慮を持つためには、整理整頓された部屋が望ましい。部屋が汚れた人間の思慮は甘く、物事に未練がましく、先延ばしにする傾向があり、射幸的で、主体性を失いがちになる。つまり、『放っておいても誰かが何とかしてくれる』という甘えが、骨の髄にまで浸透してしまう可能性があるのだ。私がそうだった。そして、私の部下が現在進行形でそうだ。

掃除をしたり、計画を立てて旅行したり、仕事を企画して進めたり。これらは全て、建設的な人生の役に立つ『修行（トレーニング）』だと思った方が良い。企画し、計画し、どこから手を付ければいいかを理解するようになれば、もう、歩くべき道への『はじめの一歩』を踏み出したのと同じだ。

このように、『計画』を立てることさえできれば、後は『それを遂行するだけ』になる。チャールズ・ケタリングの言う様に、それだけでもう、半分が解決するのだ。

名言提示（再掲）
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』

この言葉は、「問題の本質を正確に定義することこそ、解決への第一歩であり、実際の解決作業の半分に相当するほど重要である」という意味を持っています。

（正確に定義できてないから検証に乗せられないのにね）

半分w

>>354
ですね人？

今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
それに
加藤文元氏を加えた4人の数学者が
かなり論点整理をしてくれている>>334

その解説が
9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.

3.11→3.12 のルートで
ここの 9.1.〜3 をクリアにできれば
3.12の証明が 完成ってことだ
さて どうなるか楽しみ

（つまり証明にはなってないってことね）

IUT擁護派はバカしかいねーからな
まず精神分裂病みたいなまとまりのない文しか書けない
集合も論理もわかってないから一投稿の内部でも矛盾する

人格攻撃は不要
大事なのは証明の成否

今更何周遅れの話してんだこいつら
> 日本経済新聞
数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学

□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□
□■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□
□□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□
□□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□
□□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□
□■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□
□□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□
□□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□
□□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□
□□■□■□■□■□■□□□■□□■■■□■□□□□□□□□■□□■□□□■□□■■□■□□□□■■□□
□□■□■□■□■■■□□□■□□■□■■■□■□□□□□■□□□■■□□■□□■□□□□■■■□□□□
□■■□□■■□□□■□□□■□■■■□■■□□■□□■■□□□□□■■■■□□■□□■■□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□

□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□
□□□□□□□□□□■□□□□□■■□□□■□■□■□□■■□□□□□□□■□□□■■□□□□□□□□□
□□□□□□□□■■□□□□□□□■■□□■□■□□□■■■■□□□□□□■■■■■□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□■□■■□□□□■□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□

『POPOPO』開発8年、川上量生が私財30億円突っ込み4ヶ月でサ終！ひろゆき 庵野秀明 GACKTが参画 [977790669]
https://hayabusa9.5ch.io/test/read.cgi/news/1784245161/

ひろゆき「POPOPOのサ終の真因は『川上さんの心が折れた』こと。川上さんにとって30億円は端金なんで金が原因ではないです」 [153736977]
https://greta.5ch.io/test/read.cgi/poverty/1784421344/

【高市】川上「POPOPOは100億かけたけ足りなかった。1000億なら成功してた」アンチ「3兆でも無理だろ」川上「あなたがやればね」 [856698234]
https://greta.5ch.io/test/read.cgi/poverty/1784435831/

【高市】川上「POPOPOは30億かけたけ足りなかった。1000億なら成功してた」 [856698234]
https://hayabusa9.5ch.io/test/read.cgi/news/1784439417/

>>334 補足
https://zen.ac.jp/news/zmcpostevent0717
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17

抜粋
P44
https://i.imgur.com/oX6BZ1A.jpeg
Figure 6. The η algorithm
が、キモだろう

P45
https://i.imgur.com/wXTwfgA.jpeg
直後の 9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか

要するに
Figure 6. The η algorithm の破線部分が
Leanの形式化で 未達成 と読みました

望月さん、星さん、山下さん・・ 他
IUTで頑張ってきた数学者の皆さん
頑張って下さい
そして、是非 Leanの形式化を達成してください！

昔は日本では認められなかった理論が
外国で評価されて話題になったものだったが

sage

>>367
あくまで神風が吹くことを期待する
国粋🐎🦌のSet A

いとをかし

>>368
>昔は日本では認められなかった理論が
>外国で評価されて話題になったものだったが

ID:tXBgWMjQ は、御大か
巡回とレスありがとうございます

企業では、SONYが有名ですね
江崎 玲於奈さんは、ノーベル賞

>>371
追加
(参考)
ja.wikipedia.org
SONYの歴史

ja.wikipedia.org
江崎 玲於奈（1925年〈大正14年〉3月12日[1] - ）
1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞
1956年、東京通信工業株式会社（現在のSONY）に移籍する

江崎グリコ

星裕一郎先生
元気ですね
頑張ってください

下記
Makoto Matsumoto AMAGAERU Institute of Free Mathematics
は、松本眞先生か

(参考)
https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html
星 裕一郎 の ホームページ
講演
予定

・ZMC Conference 2026,
ドワンゴセミナールーム,
2026.7.21-2026.7.23.
https://zen.ac.jp/zmc/activities/d5ov5qajb

・代数的整数論とその周辺 2026,
東京大学,
2026.12.7-2026.12.11.
https://sites.google.com/view/rims-ant-2026/

https://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
論文
・Tangential morphisms via log arithmetic geometry (with Makoto Matsumoto and Chikara Nakayama)
RIMS Preprint 1995 (June 2026): (PDF).
https://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1995.pdf
Makoto Matsumoto AMAGAERU Institute of Free Mathematics 2-37-6 Narita-Higashi, Suginami-ku, Tokyo 166-0015 Japan

発●するSet A

おだいじに

IUT擁護派おじさんが発狂コピペしててワラタw


【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]
https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/

>>375-376
つまらん

それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”

いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ

IUTの専門家でもなく たった一人でもって
しかも、たった 一ヶ月で こんなことがやれるんだと

それに 感心した次第だ

あと、>>367にあるが
https://zen.ac.jp/news/zmcpostevent0717
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17

ここは
数学史上 しばしばあるが
”自明”とされていたことが、その実 要証明とされることは ある
すでに例示したが >>264 ジョルダン曲線定理
ガウスが 彼の学位論文 代数学の基本定理証明で使った
学位論文だから、当然 これを審査した数学者も”自明”で流したのだろうが
後に 要証明だとされた

が、これも しばしばあるが、
”自明”されたことが 結局後世に キチンと証明されることは多い
（勿論、反例が見つかることもあるが、それはそれ）

今回も、望月IUT論文について 今回のLean形式化出来なかった部分を自明視して
IUT論文を肯定した数学者多数いた
その代表格が 玉川安騎男先生だろう
それ以外にも >>374 Makoto Matsumoto 先生、安田成大先生、山下剛先生、田口雄一郎先生
これら多数の遠アーベル専門家が 自明視・当然視 してきた事項がある
それを キチンとLean形式に乗るように証明することだ
それが、課題として浮かび上がったってことだろ？ｗ （＾＾

(参考)
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
宇宙際 Teichmüller 理論入門
RIMS Kôkyûroku Bessatsu B76 (2019), 79-183.

謝辞
本稿執筆時に限らずこれまで宇宙際Teichm¨ uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計100 時間
以上にも及ぶセミナーで宇宙際Teichm¨ uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
田口雄一郎先生にお礼申し上げます.

>>377 追加
>が、これも しばしばあるが、
>”自明”されたことが 結局後世に キチンと数学的に証明されることは多い

実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは 体積崩壊定理を 証明せずに用いた
それを証明したのが 塩谷・山口氏です

(google検索)
ポアンカレ予想証明 塩谷・山口 定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です

体積崩壊定理：塩谷・山口両氏は、断面曲率に下限がある状態で多様体の体積が非常に小さくなる極限（崩壊）を研究し、極限空間の構造を完全に解明しました

証明への応用：この崩壊理論（および独立したペレルマンの研究）により、リッチフローで生じる特異点周辺の極限が「アレクサンドロフ空間」と呼ばれる幾何学的空間に収束することが保証されました。これにより、特異点を手術して先へ進める「特異点の局所構造」の証明が可能になりました

日本数学会公式サイトの日本数学会幾何学分科会（塩谷氏の幾何学賞受賞業績）では、塩谷氏の一連の業績がペレルマンによる証明において極めて重要な役割を果たしたことが詳しく解説されています

(参考)
https://www.mathsoc.jp/section/geometry/prize/citation_dir/citation_shioya.html
日本数学会幾何学分科会（幾何学賞・受賞者の業績・塩谷隆氏）
日本数学会
Perelmanによる3次元多様体の幾何化予想の証明（ポアンカレ予想の解決を含む）においても重要な役割を果たしています． 塩谷隆氏のこれら一連の研究は，アレクサンド ...

https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H27-yokota.pdf
ポアンカレ予想とリッチフロー - RIMS, Kyoto University
Research Institute for Mathematical Sciences (RIMS), Kyoto University
PDF
Perelman による定理 36 の証明は未だ発表されていないが，塩谷・山口が同時期に. 独立に証明した．定理 36 の証明は背理法による．つまり，そのような正の数 v0 が存. 在 ...
16 ページ

Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。

IUT擁護派おじさんついにバックレるの巻

👇

157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる

ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/157

論破されてコピペで精神分裂投稿連打でクソ漏らし

IUT仕草でございますw

ですね

>>379-382
ばかか、こいつらｗ　（＾＾

１）
>Q.まったく価値のない持論を何度も繰り返すのは病気ですか？

「まったく価値のない持論」については
そこ 数学的には 強すぎるので
証明できないよ その命題は
”まったく”は、少しでも価値があれば 命題は否定される
よって その主張は主観にすぎない！！ｗｗ

２）
>IUT擁護派おじさんついにバックレるの巻

意味わからんけど？ｗ
その人は おれとは別人だよ
他人が何をいおうが 言論は自由だし おれとは無関係ｗ

３）
>論破されてコピペで精神分裂投稿連打でクソ漏らし

意味わからんけど？ｗ
プロ数学者の数論最先端のABC予想証明論文の成否が
ここ場末の５ｃｈ数学便所板のロンパ合戦で決まるとでも？
おまえはバカか おいおいおいｗｗｗ

４）
>ですね

言語障害の”ですね人”ですか？ｗ

あい、とぅいまてんw

また他人が馬鹿に見える病の発作か
やばいね

🐴🦌に見えるよね、とぅいまてんw

IUT擁護派のキチガイ精神分裂ショータイムw

「問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点」

このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者

「意味わからんけど？」

大学１年の微積と線形代数で落第した高卒には無理

結論

大学１年の数学で落ちこぼれた国粋高卒が
外国人を異常に嫌う●違い数学者に全てを賭けた結果
スッテンテンになる

ヤッチンチン
ドドスコLOVE注入

>>384-391
面白いやつらだね バカがいるｗｗ

>また他人が馬鹿に見える病の発作か

いやいや おまえは「馬鹿に見える」ぞ
そもそも IUTのスレを分けているだろ？
それ 知らないのか？
”場合分け”が分からない？ 中学校の数学で習うだろ？ｗ
Interuniversal geometry とABC 予想61
と
Inter-universal geometryとABC予想(シン応援スレ) 92
とだ
ここ応援スレに来て
アンチが
アホなことほざいたら バカにされて当然さｗ　（＾＾

>このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者

そのギャップなるものは Lean形式化におけるギャップだろ？
”最初から”の表現がおかしい
”最初”の定義は なんだ？
おれの認識は、Lean形式化開始以降 先日の中間報告の7月17日までのどこかだが
まあ、歴史的に数学の証明とは そうしたものさ
ギャップが 第三者から指摘されて そのギャップが埋められた例は沢山ある

>外国人を異常に嫌う●違い数学者に全てを賭けた結果

発狂してる？
どこの誰が賭けをしているんだ？
脳みそ ついているか おまえ？ｗｗｗ

（自分の世界に閉じこもりたくて堪らないようです）

楽しくないんご

楽しんごじゃないw

>>392
ほら
発狂中じゃん
文章まとめてまともな反論すれば？
知能低すぎてできないんだろうけど

>>393-395
おもしれえやつらだね
素人はこれだからなｗ

まず 下記
https://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
ここに
Promenade in Inter-Universal Teichmüller Theory Lille-RIMS seminar 2020-2021
Sept. 2020 - Apr. 21, 2021 Org.: B.Collas, P.Dèbes, B.Fresse
Report [PDF+WEB] https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/index.html
とあるよね
だから、ここは IUT Inter-Universal Teichmüller Theoryのサイトであって
Lille-RIMSの 合同サイトなんだ
ここまでは いいだろ？

次に
https://ahgt.math.cnrs.fr/members/
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
で、日本全国から 多数の数学者が参加しているの分かるよね

例えば
RIMS, Kyoto University Minamide Arata他
Hiroshima University Iijima Yu
Hokkaido University Yasuda Seidai
Nagoya University Furusho Hidekazu
Osaka University Nakamura Hiroaki、Wakabayashi Yasuhiro
Institute of Science Tokyo Taguchi Yuichiro
などなど が有名どころだろう

夏休みに入ったが、アクセスできるならば 知り合いのプロ数学者が居れば
今回の7月17日のLean形式化の発表についての ご意見を聞いてみなよｗ （＾＾

だれも、ビックリもシャックリもしてないだろうさ
「うん？ ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？」
というかもねｗｗ　（＾＾

もし話が聞けたら、このスレに書いておくれ
「Lean形式化の発表でギャップ見つかった もうダメだぁ〜！！！」でもいいぜｗ

正直に、正確に書いてもらえれば良い
情報をまってますよ

私にアンカーを付けられてもねぇw
踊って注入しかできないンゴw

（IUT擁護派の世界は崩れ落ちたのにね）

>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？

>>398
ワラタ

>>400
ですね

ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ

それで「自明」になる訳ですね

>>400
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？

例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう

ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』

同じことが、望月＆星に起きるよう祈る！ｗ （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E3%83%AF%E3%82%A4%E3%83%AB%E3%82%BA%E3%81%AB%E3%82%88%E3%82%8B%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86%E3%81%AE%E8%A8%BC%E6%98%8E
ワイルズによるフェルマーの最終定理の証明

証明の発表とその後
1993年の6月21日-23日の間で、ワイルズは半安定楕円曲線に関する谷山・志村予想の証明、すなわちフェルマーの最終定理の証明を発表した。

カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。

ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生であるリチャード・テイラーの協力を仰ぐこととなった。

1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた

Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。

フェルマーの最終定理の証明は最後のギャップが埋まらなかったとしてもそこ以外は価値のあるものだったが
IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね

>>407
はい

jinは頭の病気

統合失調症

駄々をこねるの本質
相手が嫌になって引いて行くのを期待してる
それで「自分の勝ち」と思う
小学校あたりで人間的成長が止まってる

>>258
そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
いかなる非形式的証明もギャップが無いことが検証されていない。
それでも数学者は長年培ってきた数学的思考によりたいていの証明につきギャップの有無を判断できる。
ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない。

そのようなIUT固有の事情を考慮せずに
>時代が進まないと、ギャップに気付かないということは
>数学史上しばしばあった
などと言ったところでまったく的外れ。

>代数学の基本定理（＝代数方程式は複素数根を持つ）
はい、大間違いです。
一般の係数空間でそれは言えません。言えるのは複素数体の場合（＝複素数体は代数閉体である）。

>>405
固執してるね
長いの直せないんだから
自分の中では理屈が通ってるから長文で粘着していいと

>>410
それが朝鮮IUT仕草

>>411
>そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。

ショルツがやったやったやつみたいに
ホッカホカの最新の数学が検証されたのはたしかに最近

>いかなる非形式的証明もギャップが無いことが検証されていない。

これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
利用する公理の範囲を検討する逆数学との関係で
ギャプ探しは結構行われてた

>>411
>ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない

これも大した問題じゃない
ギャプがあると問題だけど

>>414
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？　それ形式化してるやん
非形式的証明って書いてるんだけど字読める？

>>415
なんで勝手に問題と言ってることに脳内変換すんの？

こういう勝手に脳内変換する人って会話が成り立たないから疲れるね

>代数学の基本定理（＝代数方程式は複素数根を持つ）

複素数体は代数的閉体だといえるが、逆、すなわち
代数的閉体は複素数体である、とはいえない

>代数的閉体は複素数体である、とはいえない
誰か言えるって言ったの？　見えない敵と戦ってる？

>>417
それがキチガイIUT仕草
命題から逃げて延々ズレたコピペを繰り返す

>>420
君を応援したんだけど

キモチワルイ

庵野が使うシンは李氏朝鮮清のシンww

>>422
キモチイイ

>>415
>ギャプがあると問題だけど
GAPがあっても埋めれば問題がないと言い始めてるのがIUTサイドかな
まあ埋めれば問題がないのは結果オーライてことだけど
当初論文にGAPがあったのに出版したPubl. of RIMSは責められても仕方ないのでは
それに埋めれるかどうかまったく不明ですし
埋めたら埋めた人の業績になるべきで
その場合当初論文はその呼び水って扱いになるのかな

>>377
少なくともペレルマンは指摘された問題点に素直に向き合って照明のギャップを埋める作業をやったわけだが。

>>426
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから

下記(参考)引用
「 Interuniversal geometry とABC 予想61 」からだが
これは いい話だね

思うに
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
２）そして、問題点を明らかにして オープンな議論を惹起すべし
３）望月＆星氏は 今回の加藤氏のLANAプロジェクト中間発表について コメントを出すべきだろう
４）その上で、今後どうしていくのかのロードマップを公表すべきだ

要するに
衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！だね
その理由は
１）IUT論文は、すでに２つ投稿され 査読掲載されている
　一つは望月氏自身のIUTの大作で もう一つは5人共著のフェルマー解決論文で Kodai mathに掲載された
　さらには、中国の若手の周忠鵬の論文もある
　さらには、日仏合同 Arithmetic & Homotopic Galois Theory IRN も進んでいる
２）このような背景から考えて、できるだけ早く 事態を収拾すべき
　混乱を長引かせるのは、よろしくない

三人寄れば文殊の知恵
問題をオープンにすべし
解決を長引かせるのはよろしくないだろう

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1783860274/316-618
316１３２人目の素数さん
2026/07/20(月) ID:B6WVrHSM
>>312
もしかしてこれ？
With AI becoming increasingly capable of solving difficult problems, I've been wondering why LANA hasn't released its Lean formalization, even in an incomplete state. Even if the proofs themselves are unfinished, the definitions and overall formal framework would already be valuable to the community.

That's one of the reasons I decided to publish my own independent Lean formalization of IUT, developed with the help of Fable5. I also shared it on 4chan and 5ch in case anyone is interested in taking a look.

but, comment is japanese only.
https://github.com/Takkun-kohinata/IUT_LEAN
(google訳)
AIが難問を解く能力をますます高めている中で、LANAが未完成の状態であってもLean形式化を公開しないのはなぜだろうかと疑問に思っていました。証明自体が未完成であっても、定義と全体的な形式的枠組みは既にコミュニティにとって価値のあるものとなるはずです。
それが、私がFable5の協力を得て独自に開発したIUTのLean形式化を公開することにした理由の一つです。興味のある方がいらっしゃれば、4chanと5chにも投稿しました。

318１３２人目の素数さん
2026/07/20(月) ID:joumQYeu
>>316
それだよ
やっと承認されたか
woitの方にも似たこと書いたけど承認されんわ
(引用終り)
以上

>>429 タイポ訂正

１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
　↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう

補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白

査読を通って 掲載されてしまった論文だから
万機公論 議論をオープンにすべし！

leanをaiに学習させられないだろうか

>>428
ですね
分かりやすい指摘です

>>428
(引用開始)
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
(引用終り)

うん、君にだってチャンスあるぞｗ　（＾＾
いま、AIつかって 数学未解決問題を解かせたという話がどんどん出ている
実際にも 下記の別スレだが AI Claude を使う チャレンジをするらしい
LANAプロジェクトに先行すれば 面白いな 頑張って欲しいね （＾＾

それはともかく
「ポアンカレ予想物語」という本がある。ポアンカレ予想というのは、一見解けそうに見えて みんなチャレンジして 失敗したという

ABC予想は、その逆かもね
難しすぎて、チャレンジする人があまり居ないというか
望月以外には 「解かれた（解いた）ぞ」という話が あまり聞こえてこない（ジョシさんは別として）

望月IUTは、いままでで 一番ABC予想解決に近づいた論文かもしれない

なので望月IUTの延長線上でも、だれかがギャップを埋めるか
あるいは だれかが 望月IUTの改造で
それはAIの力もかりてでも Leanに乗せることができれば
間違いなく数学の進歩でしょう

＜アマゾン＞
ポアンカレ予想物語 (数セミ・ブックス 13)
本間 龍雄 (著) 日本評論社 発売日 ‏ : ‎ 1985/11/1

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1783860274/378-382
378１３２人目の素数さん
2026/07/21(火) 09:12:45.13ID:rReqYplZ
「3.11 = 3.12」 を分解して形式化をはじめている
前半 (3.11)
APT (アルゴリズム的並行移動)
IPL (入力整合性)
→第1~第3三角形
後半 (3.11.5= 3.12)
SHE (同時正則表現可能性)
IPL (input prime-strip link)
→第4三角形 (現在RIMSが形式化に取り組んでいる箇所)

382１３２人目の素数さん
2026/07/21(火) 09:38:04.19ID:rReqYplZ
lUTのLean形式化は、次の段階に分けて進める
・Stage1
[IUTchlll] 定理3.11=系3.12
・Stage2
[UTchll]定理3.11の証明
・Stage3
[UTchl-ll]
・Stage4
1995年以降の先行研究
・Stage5
数値的側面 ([IUTchlV],[ExpEst])

解決策がある前提なのが馬鹿

>>433
>望月IUTは、いままでで 一番ABC予想解決に近づいた論文かもしれない
IUTは、複数の異なる宇宙を用意しその間を通信経路で結ぶことで、通常の数学（ひとつの宇宙）では分離できない掛け算と足し算の絡み合いを解きほぐそうとするもの。
このアイデアが機能するかは系3.12を証明できるかにかかっている。証明できなければIUTはただのゴミでABC予想解決にまったく近づいていない。
そしてLANAは証明に失敗し解決の見通しはまったくの白紙、1年後を目途に次の報告をしたいと述べるのがやっとの惨憺たる有様。

ショルツェは流石だね。単にギャップを指摘するだけではなくIUTというアイデア自体がゴミであることを正確に見抜いていた。
一方でLANAは2年がかりでショルツェの発言を補強したに過ぎない。
国粋馬鹿よ、これが現実だ。

>>436
あいつらは国粋じゃない
旧満州由来の在日朝鮮人偽右翼

jin は頭の病気

>>429-430
>望月＆星氏は 加藤氏のLANAプロジェクトに
>現状のLeanコードを公開要請すべきだろう

見せてもらっても無駄だろ
望月も星も答えをもってないんだから

>そして、問題点を明らかにして
>オープンな議論を惹起すべし

問題点は明らか
すでにオープンに議論されてる

>望月＆星氏は
>今回の加藤氏のLANAプロジェクト中間発表について
>コメントを出すべきだろう

まいりました、って？（笑）

>その上で、今後どうしていくのかの
>ロードマップを公表すべきだ

ロードマップなんかないだろ
ノープランなんだから（笑）

国粋高卒Set A君、頭、大丈夫？

>>429
>衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！

無駄　誰もノープランなんだから議論にならない

>IUT論文は、すでに２つ投稿され 査読掲載されている
>一つは望月氏自身のIUTの大作で
>もう一つは5人共著のフェルマー解決論文で Kodai mathに掲載された

前者は不正査読な
後者は前者を認めた上での評価として逃げられるだろうけど

>さらには、中国の若手の周忠鵬の論文もある

査読通ってるの？違うだろ　じゃ無意味

>さらには、日仏合同 Arithmetic & Homotopic Galois Theory IRN も進んでいる

それIUTと無関係

>できるだけ早く 事態を収拾すべき
>混乱を長引かせるのは、よろしくない

RIMSが不正査読を認めて解体されればいい

日本の数学は不正査読で自爆しましたとな

ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!

いずれにせよこれで一段落ということにしてはどうか

>誰もノープラン
その通り。実際加藤はギャップを埋める目途は皆無、有限時間で埋まるかもしれないし埋まらないかもしれないと言った。全くの白紙ということだ。

>いずれにせよこれで一段落ということにしてはどうか
白紙を認めた以上望月論文はrejectedとすべき、白紙なのにsuspendedはおかしい。

suspendedと思った者は皆無に等しい

通常は1年後に最終報告と言っても
fade awayしていくもんだけど
加藤の生真面目さがそれを許さないだろうw

>>434-442
>いずれにせよこれで一段落ということにしてはどうか
>suspendedと思った者は皆無に等しい

ID:5zPtkw66 は、御大か
巡回ありがとうございます
コメントありがとうございます。

１）まあ、それをリアル界で決めるのは、望月・星氏らでしょう
　ここは、バーチャル 場末の５ｃｈです
２）私見ですが、先週7/17金のLANAプロジェクトの中間発表は
　3.11→3.12導出が 現状ではLean形式化に乗らなかったが
　可能性は残っているという
３）その可能性とは、おそらく 遠アーベルのLeanライブラリー不足で
　Leanライブラリーを 何らか追加するとか
　あるいは別に、3.12そのものではなく 3.12をなんらか変形して IUT IVを導けるようにすること
４）さて、まずこの状況（中間発表）を受けて、望月・星氏らが彼ら自身の見解と見通しを発表すべきでしょうね
　というのは、日仏合同の Arithmetic & Homotopic Galois Theory IRN 共同研究プロジェクトが走っている https://ahgt.math.cnrs.fr/activities/
　ここには、日本の予算もさることながら 仏の予算も入っている。その落とし前が必要となる
５）ところで 数学では「数列の収束加速法」が、古代から研究されている （＾＾
　いまの場合、事態の収束加速法は、事実を隠さずにオープンにして 議論することですね
　Leanコードも隠さずに、オープンにして 議論することが、収束加速の要諦でしょう！

(参考)
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%88%97%E3%81%AE%E5%8A%A0%E9%80%9F%E6%B3%95
数列の加速法
収束の遅い数列を収束の速い数列に変換するアルゴリズムの総称である[1]
歴史
19世紀以前
ヨーロッパと日本で研究が始まった。古典的な二つの加速法はオイラー変換[2] と クンマー変換である。日本では関孝和、建部賢弘など、ヨーロッパではアイザック・ニュートンなどが取り組んだ[3]。

>>445
こいつが国粋🐎🦌のSet Aか

>それをリアル界で決めるのは

LANAプロジェクト
そしてもうほぼアウト

>先週7/17金のLANAプロジェクトの中間発表は
>3.11→3.12導出が 現状ではLean形式化に乗らなかった

もう何年もギャップだといわれていて
改めてそれが分かった時点で、ほぼアウト

>が、可能性は残っている

ダメだという証明ができないだけの話でしかない
実際は、まあアウト

>おそらく 遠アーベルのLeanライブラリー不足で

遠アーベルではなく宇宙際の理論がない

>Leanライブラリーを 何らか追加するとか

何年もそういわれつづけて何もできてないが

>あるいは別に、3.12そのものではなく 3.12をなんらか変形して IUT IVを導けるようにすること

諦めろ　国粋🐎🦌