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

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を導けるようにすること

諦めろ　国粋🐎🦌

>>446
>さて、まずこの状況（中間発表）を受けて、
>望月・星氏らが彼ら自身の見解と見通しを
>発表すべきでしょうね

切腹しろってか？（笑）

>というのは、日仏合同の共同研究プロジェクトが走っている
>ここには、日本の予算もさることながら 仏の予算も入っている。
>その落とし前が必要となる

自●しろってか？

Set A　おまえは自●しなくてええんか　国賊

国粋野郎は国賊でしたとさ（嘲）

>>448
ドワンゴ周りは国粋じゃなくて
旧満州(北朝鮮＆中国瀋陽)由来の朝鮮人偽右翼だとあれほど

IUTGtrのプーアノンばりのアイコンで爆笑した

>>449
アイシンギョロとかいう女真族ではなく？（笑）

後金

望月＝頭の良いクズ
セタ＝頭の悪いクズ

>>445 追加
ゴミが湧いているが、ムシムシ

こういうとき
危機管理（下記の存立危機事態までは行ってないだろうがｗ）

１）事実の把握
　そのために、関係者の招集をする
　望月、星、加藤文元、玉川、山下・・などなど
　（一部の人はwebでも可だろうが）
２）そこで状況を説明して 事実共有をする
　Leanコード公開などを決める
３）その後の行動計画を議論する
　施策と役割分担（宿題分担）を決める

次に集まる日時を決める
これを必要なだけ繰り返す
まあ、みんなで知恵をだせば、なんとかなるっぺよ

(参考)
https://ja.wikipedia.org/wiki/%E5%AD%98%E7%AB%8B%E5%8D%B1%E6%A9%9F%E4%BA%8B%E6%85%8B
存立危機事態
台湾有事をめぐる議論
→「高市早苗による台湾有事発言」を参照

アホ

>>454
既に原爆が落とされてる状況で
本土決戦とかいってる🐎🦌

1945年7月26日に、英中米の3か国はポツダム宣言を発し、日本軍の無条件降伏を要求した。
日本政府は、日ソ中立条約があるソ連に和平講和の仲介を託していたが、
8月6日に広島市に原子爆弾が投下され、8月8日未明にソ連対日宣戦布告、
8月9日に長崎市にも原子爆弾が投下されるという重大事態が続いた。

8月10日午前0時3分[2]から行われた御前会議での議論は、
東郷茂徳外相、米内光政海相、平沼騏一郎枢密院議長は、
天皇の地位保障のみを条件とするポツダム宣言受諾を主張、
それに対し阿南惟幾陸相、梅津美治郎陸軍参謀総長、豊田副武軍令部総長は
「受諾には多数の条件をつけるべきで、条件が拒否されたら本土決戦をするべきだ」
と受諾反対を主張した。

しかし、唯一の同盟国となっていた大ドイツ国政府が5月8日に無条件降伏したことで、
イギリスとアメリカ、オーストラリアやカナダなどの連合軍は日本本土に迫っており、
さらに唯一の頼みの綱であった元中立国のソ連も先日の宣戦布告により日本への侵攻を開始しており、
北海道上陸さえ時間の問題であった。

ここで鈴木貫太郎首相が昭和天皇に発言を促し、天皇自身が和平を望んでいることを直接口にしたことにより
御前会議での議論は降伏へと収束し、8月10日の午前3時から行われた閣議で承認された。

日本政府は、ポツダム宣言受諾により全日本軍が降伏を決定する事実を、
8月10日の午前8時に海外向けのラジオ国営放送を通じ、
日本語と英語で3回にわたり世界へ放送し、同
盟通信社からモールス通信で交戦国に直接通知が行われた。

中立国の加瀬俊一スイス公使と岡本季正スウェーデン公使より、
8月11日に両国外務大臣に手渡され、両国より連合国に渡された。

しかしその後も日本政府と軍内部、
特に鈴木首相や東郷外相らと阿南陸相ら陸海軍の上層部内で意見が紛糾し、
御前会議での決定を知らされた陸軍省では、
天皇の元の会議で決定されたにもかかわらず、
徹底抗戦を主張していた多数の将校から激しい反発が巻き起こった。

8月12日午前0時過ぎ、連合国はアメリカのジェームズ・F・バーンズ国務長官による返答、
いわゆる「バーンズ回答」を行った。その回答を一部和訳すると
「降伏の時より、天皇及び日本国政府の国家統治の権限は、
降伏条項の実施の為其の必要と認むる処置を執る連合軍最高司令官に『subject to』する」
というものであった。

外務省は「subject to」を「制限の下に置かれる」だと緩めの翻訳・解釈をしたが、
参謀本部はこれを「隷属する」と曲解して阿南陸相に伝えたため、
軍部強硬派が国体護持について再照会を主張し、鈴木首相もこれに同調した。

8月13日午前9時から行われた、軍と政府の最高戦争指導会議では
「バーンズ回答」をめぐり再度議論が紛糾した上、
この日の閣議は2回行われ、2回目に宣言の即時受諾が優勢となった。