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

つづき

53:05しかしそれに対して私は申し上げたいことは不定性が実数に直接作用することを、え 、示唆していますが、これは望月の方法を
53:14正確に表したものではないんです。この分析では不定性はボリュームコンテナー
53:22の部分集合に作用するということであり、 従ってその実数上への影響を直接 トラッキングすることはできません。
53:31実数のサブセットに対する影響は このIUTによる
53:41ABC予想にいかなるの証明も、略 に押し込めることができるとショルツ
53:49スティクスは仮定してるわけです。その分析についてこの形として
53:57この実数が略 トッパーズ教授の
54:06スライドでありましたようにこの実数中で 図を用いて先ほどのスライドの
54:13実数の証明であるわけですが、従がって これはこの想定として、え、不等であると いうことは、略
54:21詳細の分析は、え、Qパイロット オブジェクト、え、ベツパイロット オブジェクトが対して2つの変化異なる 生じることを示しています。一方我々では
54:31特にこの不等式 として、え、この 3.12に関しまして同じキューパット
54:39オブジェクトからです。そのうちの1つが 直接な計算演算、すなわちQ ホルモティフィックストラクチャーを
54:46用いる計算です。もう1つは、え、この リンクを経由する間接的な演算であります 。
54:56この体積をボリュームを共通のコンテナーに 入れるためにはショルツスティクスが描いたもので はない図式の可換性が必要です。
55:06しかしその図式は、え、イーター、または イタアナブのいずれかとして様々に解釈さ れなければならない矢印を含んでいます。
55:19その 結果、え、その不等になるかどうかということで、望月氏の、え、言葉で言えばトロジカルな理由で成り立たされているこの式であるのです。これがさらなる進展の鍵となります。
55:35サンキュー。それでは発表は以上となります。え、それではここから会場にお越しの皆様からご質問をお受けしたいと思っております
(引用終り)
以上

>>262-263 補足

プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）

3名の立場は
１）ショルツ スティクス 分析は、望月氏の3.12を全否定しているが
　しかし、その分析は不十分
２）望月氏の現時点のIUT論文から 形式的なLeanコードに 落とすことはできなかったが
　何かを補えば 3.12を Leanコードに 落とすことが出来る可能性は残っている
ということでしょう

私見だが
あたかも、下記 ガウスの代数学の基本定理証明で、ジョルダン曲線定理を自明として使ったが
まあ、1799年当時としては それは 多くの人に自明と思われたのだが
後年 ジョルダン曲線定理は 要証明だとされて
「ガウスの代数学の基本定理証明は、ちょっと滑っていたね」という結論になった

望月IUTが、どういうことを”自明”としていたのか？
それはともかく
玉川安騎男氏など 多くのIUT支持派も 無意識に”自明”で流していた部分が
あったのではないか？
それが、Leanコードに落とすときに 引っかかったという風に理解しました

なので、あたかも
ガウスの代数学の基本定理証明のジョルダン曲線定理相当部分を
きちんと定式化して 証明を与えられるか？
そこがポイントでしょうね

面白くなってきました
頑張れ、モチヅキ！！

(参考)
https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%AD%A6%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86
代数学の基本定理
歴史
1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[注 1]
注釈
1. ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある。

ほんとIUT擁護派ってコピペで逃げるキチガイしかいねーよな

事実：IUT理解者とされる星参加のもと24年9月から2年近くかかって疑義を呈されている部分だけすら形式化できなかった。
事実の正しい見方：望月論文は「η^q=ηS^anab予想 ⇒ ABC予想」を証明した可能性が高いが、「η^q=ηS^anab予想」の証明は全くの白紙、従って「ABC予想」の証明も全くの白紙。

結局ほぼそのまま想像通りの発表でした

>今後も残された論点を数学的に明確な形にし、望月氏および京都大学数理解析研究所（RIMS）側との対話も続けながら

と加藤文元が語ってるのは
今も望月がギャップを公式にも仲間内でも認めてないという意味でしょうし
それも想像通りでした

・望月は公式には認めてないギャップを埋めようとしたことがあるか
・あるとしたらいつからいつまでか
は結局は分かりませんでした
自分は2018年から2020年くらいまではやろうとしたんじゃないかと想像してます
ただ加藤が結論を先延ばしにしたのは「この点(ギャップの事)に関する望月の説明が進化してきたからだ」と言っておりLANAプロジェクトに触発されて最近も取り組んでいた可能性が高そうです
ずっとやっていれば今のような展開にはなってないと思うので2020年頃には放置することにして別の事に取り組み始めたのではないかと思ってます

いろいろな経緯から
・星はギャップがあることを認めてるだろう
ただし将来望月がギャップを埋める可能性は否定してないだろう
・加藤は望月やキムやその他の近しい研究者とかなり腹を割った議論を行った後今回の中間発表に望んだ
ということのはずです

この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
abc予想は望月によって証明されてはないとはっきりと宣言しています

>>268
>この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
>abc予想は望月によって証明されてはないとはっきりと宣言しています

ほぼ同意ですが
近しい人達を傷付けないように柔らかい表現で書いてありますが
　↓
マスコミに誤解されて 近しい人達を傷付けないような表現で書いてあるが 数学的な客観事実はしっかり書かれている

プロ数学者が読めば
abc予想は望月による証明で
3.11→3.12 で Lean のロジックが繋がっていない
Lean のロジックが繋がっていない状況では
これを数学の厳密な証明と認める数学者は 殆どいないだろう

ゆえに、何かを補って 3.11→3.12 で Lean のロジックが繋がるようにするしかない
その何かとは、3.11→3.12 のロジック中で 望月氏やそれに賛同していた数学者が「自明」と
流していたカ所で それは >>264のジョルダン曲線定理みたいなものと思うが
その部分を特定して
正攻法は ジョルダン曲線定理に相当する部分の証明を追加するか
あるいは、別の登頂ルートを 考えるか？
二択だろうね

>>269 追加

https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月新一 主張・講演
[13] 宇宙際タイヒミューラー理論への誘（いざな）い　《拡大版》 （東京大学 2013年06月) PDF
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(kakudaiban).pdf
P10 より
古典的なガウス積分
　略
の計算（＝「デカルト座標→極座標」）の、数体上大域的な類似物と見る
ことができる！
(引用終り)

ここの 古典的なガウス積分の 「数体上大域的な類似物と見ることができる」
が、滑っている気がする

それは >>242の ID:13yLpBZq さんの労作でも
『「多輻的表示の定義から直ちに従う」 —— 定義はラベルを与える。要請しているのは ラベル→測度の移行であり、その移行こそが (P) である』
での Claude Opus4.8とFable5 による指摘で
”測度”に 直結する部分が これかなと 思ったからなのだ

確か、望月氏は ラベル管理で 『ラベル→測度の移行』が可能と言っていた気がするのだが
どっこい Claude Opus4.8とFable5 は、これに反対しているっぽい
さらに、Leanプロジェクトでの中間報告でも それらしきことを示唆していると 理解しました

Leanプロジェクトで指摘された ギャップを埋められれば 拍手喝采だ
はてさて どうなることか？

どうなることか？
自称IUT理解者が1年がかりでできなかった実績がある、つまりまったくの白紙
リーマン予想が証明されれば拍手喝采、はてさてどうなることか？　と言ってること同じだよ

元からできねーのにLEANちゃんが勝手に証明してくれるわけでもなしw

>Leanプロジェクトで指摘された ギャップ
という言い方も変だけどな
SSに指摘されたギャップが確かにありましたってだけやん

>>270
「と見ることができる」はIUT界隈ではよく使うよね

>>272
SS論文から8年だよ

SS論文は間違いでギャップ無し
って認識だったからギャップを埋めようとし始めたのはもっと後だろ

SSへ「お前らは間違いだ」と書簡は送ったのかな？
送ってないのなら今すぐ送るべきだろ

>>280
ズレまくり
偉人を騙った紛い物w

証明できずにポエムマンw
しかもコピペで丸パクリ
文脈解釈能力ゼロ

ポエムでもゴミ
これがIUT擁護派おじさんw

>>281-282
『証明できずに・・』？
いみわからん？ｗ
わたしゃ 第三者で ヤジ馬ですがな
明々白々にねｗ　（＾＾

だが、親カメこけたら？
上に乗っている子ガメはどうなる？
望月氏は、すでに教授で スゴロクの上がりだが

星さん 准教授
（星氏の学生）　東山　和巳　
若林　泰央　（わかばやし　やすひろ）東京工業大学理学院数学系　助教
南出　新　（みなみで　あらた）
辻村　昇太　（つじむら　しょうた）
あと
フェセンコ氏の中国の若手数学者の周忠鵬に ポロウスキ

彼らは、まだ教授ではない
大袈裟には人生かかっているよね
ゆえに 彼らがよってたかって、
ギャップを埋める努力をすべきだよ

　>>242の ID:13yLpBZq さん みたく
Claude Opus4.8とFable5 でも なんでも使え！！！
あんたら、人生かかっているんだよ
望月氏のIUTが のるかそるかで

https://www.kurims.kyoto-u.ac.jp/~motizuki/students-japanese.html
望月研

>>283 追加

おっと、山下剛さん 忘れていた
山下剛さん 出番ですよ
がんばって！ （＾＾

補足
　>>264 ジョルダン曲線定理 みたく
多くの数学者が ”自明”と考えてきた命題で
後に 要証明事項とされたことは 多々ある

そして、なんらかの形で その命題自身か
あるいは その命題の変形などに
後に証明が与えられたことも多い

今回の 望月IUT 3.12も
そうできる可能性はある

それが、今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
お三人の主張と見ました （＾＾

阪大工学部で数学落ちこぼれた素人が
わけもわからずシッタカぶって恥さらす

できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい

擁護派頭わっる

>>287
ただの未解決問題だよなw

>>287
(引用開始)
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
(引用終り)

違うだろｗｗ
数学では、しばしば有力な予想が出されて
それが、推進力になる
有名どころでは、ヒルベルト23の問題 https://en.wikipedia.org/wiki/Hilbert%27s_problems
肯定的に解決された問題も多いし、否定的に解決された問題も多い
（予想という形でない問題もあるが、当時の未解決予想で重要な予想もある）

いま、望月IUT 3.12 の証明において、ある部分で 多くの数学者が”自明”だと、流してきた部分が
Leanによる形式化の過程で 明確になったということだろう
それが　>>246の「LANAプロジェクト」中間発表会での結論だね
加藤文元氏は、今後1年検証を続けると 言った
望月IUT一派が、Leanによる形式化に乗せられるように、議論するってことだね

1年で達成できなければ、Leanによる形式化の過程をすべて公表するのだろう
そうなれば、自由競争だが
いまは 望月IUT一派が 詳細情報にアクセスできる優先権がある

さて、上記>>264では ジョルダン曲線定理に例えたが
数学において しばしば自明視された事項が、
実は要証明事項とされてきた歴史がある
それが、数学の進歩というものよ
おわかりかな？ｗｗ

>>289
>違うだろｗｗ
何も違わない

>数学では、しばしば有力な予想が出されて
>それが、推進力になる
IUTは無力な予想。実際、数学論文における引用数は極めて少なく且つ身内からの引用に限られている。

Q.望月教授のIUT理論の他論文からの引用数はどんな感じ？
A.望月新一教授が提唱した「宇宙際タイヒミュラー（IUT）理論」の他論文からの引用数は、世界の数学界全体で見ると極めて少ない（ほぼ身内のコミュニティに限られている）のが現状です。一般的な大発見（ポアンカレ予想やフェルマーの最終定理など）の後は、周辺の数学者がその理論を使って新しい成果を次々と生み出し、引用数が爆発的に増えます。しかし、IUT理論にはそのような広がりが見られません。

同じ予想でもリーマン予想には予想の地位に足る十分な根拠が存在する。実際虚部が小さい方から10兆個までの複素零点はすべてリーマン予想を満たすことが計算されている。
ところが望月予想には望月一派が正しいと言い張っていること以外何ひとつ無い。引用数が極めて少ないのも当然だろう。

>>290-291
余談だが、
国際数学者会議（ICM）2026 7月23日から30日までペンシルベニア州フィラデルフィアで開催
その中で、幾何学的ラングランズ対応 Dennis Gaitsgory が、招待講演者
Dennis Gaitsgory 自身は、40歳オーバーなので フィールズ賞はない
が、確か9人の共著だったから、その内の若手が フィールズ賞の可能性があるので 注目している

本題との関連は、
”この証明は5つの論文にまたがる1000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と言われている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に難しく、ほとんど不可能」だと述べている”
の部分だ

望月IUTも4つの論文にまたがる700ページで、準備論文を入れると それ以上
21世紀 現代数学は、ここまで来てしまったということだろう

あとは、ICM2026のフィールズ賞が誰になるか と
そして、望月IUTのギャップが 果たして 望月一派の努力で埋められて Leanに乗せられるのか？

請う ご期待！

https://ja.council.science/events/icm-2026/
国際数学者会議（ICM）2026
国際数学連合（IMU） は、 国際数学者会議（ICM） 2026年7月23日から30日までペンシルベニア州フィラデルフィアで開催されます。

https://en.wikipedia.org/wiki/Dennis_Gaitsgory
Dennis Gaitsgory (born 17 November 1973) is an Israeli-American mathematician.

https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence
Geometric Langlands correspondence
(一部google訳)
幾何学的ラングランズ対応
Status
デニス・ゲイツゴリーを含む数学者チームが、2024年5月6日に、圏論的非分岐幾何学的ラングランズ予想の証明を発表した。[ 7 ] [ 8 ]この証明は5つの論文にまたがる1000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と言われている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に難しく、ほとんど不可能」だと述べている。[ 9 ]

>そして、望月IUTのギャップが 果たして 望月一派の努力で埋められて Leanに乗せられるのか？
>請う ご期待！
期待しても無駄。
IUT理解者のはずの星が1年以上かかって埋められなかったということはまったくの白紙ということ。同じく白紙の他の難問たちと同じ立ち位置ということ。

その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ

サテライト集会はあちこちで
始まっている

>>293
もう8年ですよ
ss論文から

>>295
具体例はw
キチガイ妄想ワラタ

>>297
ラトガース大学で
日本からは
K池とK↓部が
出席

ICMのサテライト

>>296
>>277
君、字読めない？

>>294-295 >>298
ID:ZTSfMBBa は、御大か
巡回ありがとうございます
コメントありがとうございます

なるほど・・・
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
始まっている”

O-竹腰拡張定理に、いろいろ別証明が考えられたごとく
IUT 3.12にも、別証明がある可能性もあるし
IUT 3.12 を経由しない、IUT IVへの別ルートが見つかるかもしれないし

さらには、いまのLean化で見つかった 3.12へ至るルートでの
ミッシングリングが見つかるかも知れない

そういうことですね
請うご期待ですね

>>298
あちこちとは？w

1=たくさんIUT

>>300
その遠吠えは痛いw
反論できずにクソ漏らしw

まさにIUT

擁護派「ABC予想の証明はありまぁす」

>>301 タイポ訂正

さらには、いまのLean化で見つかった 3.12へ至るルートでの
　↓
さらには、いまのLean化で見つかった 3.12へ至るルートでのギャップについて

面白くなってきましたね （＾＾

>>306
全体ゴミなのにタイポくらい気にするなよ
まずは統合失調系の文章をまとめろ
お前はまずそこから始めろ

IUTがredditでボコボコにされてるのに
何も言い返せず愚か者だとか遠吠えしちゃうIUTgtrおじさんw

このスレのおっさんとそっくりw

>面白くなってきましたね （＾＾
ギャップが明確になり埋める見通しは皆無と宣言されたことが？

>全体ゴミなのにタイポくらい気にするなよ
それなｗ

ここで喚いてるIUT擁護派は何でredditとかnot even wrongに突入しないの？
まあここでタコ殴りにされてんだから外じゃ無理だわな

さすがに京大にせかされてイヤイヤ動き始めたんかね

Xとかここにいる攻撃的なIUT擁護派が
日本向けの日本語だけで宣伝してんのが謎なんだよな

まあ日本で税金吸えりゃいいかみたいな動機で動員されてるなら納得

もっちーがハーバードで講師をしていたとき、ケドラヤもハーバード大にいた?

>>308-313
>IUTがredditでボコボコにされてるのに

それは 所詮場外乱闘でしかない
redditで 勝った負けたは、関係ない

一方 >>294-295 >>298の
ID:ZTSfMBBa 御大の
プロ数学者での情報
これは、なるほどですな
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
始まっている”な これは貴重な情報だ
(参考)
https://domani.shogakukan.co.jp/1161883
Domani 2025.11.17
「一葉落ちて天下の秋を知る」の意味と使い方｜大きな流れを見極める感性
中国古典『淮南子』に由来

>Xとかここにいる攻撃的なIUT擁護派が
>日本向けの日本語だけで宣伝してんのが謎なんだよな

数学においては、だれか政治家がやったような 中傷動画だけでは勝負は決まらない
下記のRiemannのRiemann面の話が歴史の教訓だ
Dirichlet の原理による Riemannの議論は、厳密性を欠いて批判されたが
後世 抽象代数学や位相幾何学（多様体もか）が整備され 天才Riemannの名声は さらに上がった
しばしまて、慌てる乞食は貰いが少ない

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1782879545/876-
https://www.iwanami.co.jp/book/b458089.html
代数函数論 岩波
岩澤健吉 著 刊行日2019/07/26
＜試し読み＞
https://www.iwanami.co.jp/moreinfo/tachiyomi/0063357.pdf
緒言
かくのごとくRiemannはRiemann面という幾何学的な像を用いて，従来とかく理解しにくかった多くの事柄に明快な解答を与えたが，しかしRiemannにおいて最も重要なのは，与えられた代数函数からRiemann面を構成したということではなくて（それは例えばWeierstrassのalgebraisches Gebildeによってもある程度達せられている），逆に彼がRiemann面を基礎としてそこから彼のすべての理論，とくに代数函数の存在を導いたという点にある．すなわちRiemannは代数函数とは独立に任意の閉Riemann面Rを考察し，
Dirichlet の原理によりRの任意の点において与えられた特異性を有する微分（あるいは調和函数）の存在を証明し，それによって彼がKlasseと呼んだR上の解析函数の全体Kが今日いう代数函数体をなすことを示した．

Dirichlet の原理によりRの任意の点において与えられた特異性を有する微分（あるいは調和函数）の存在を証明し，それによって彼がKlasseと呼んだR上の解析函数の全体Kが今日いう代数函数体をなすことを示した．

Riemann は更にAbel積分を精密に考察して，後にRochによって補充されたいわゆるRiemann-Rochの定理を証明し，また一般のtheta函数を定義してJacobiのUmkehrproblemを完全に解決した．このように我々はRiemann において今日の古典的代数函数論が事実上ほとんど完成されていることを見るのである．しかしながら現在の我々の立場から見てRiemannの叙述が種々の点で厳密性を欠いていることはやむを得ない．抽象代数学も位相幾何学も未だ生れていなかった当時のことを思えばこれはむしろ当然であろう．

まーたコピペか
命題もない
根拠もない
ただのクソ漏らし精神障害w

LEANでどこに証明が不足してるのかが分かったとして、
そもそもIUTは直感的に正しいと信じていた連中はこの長い期間を通して
IUTの正しさについてより精緻な理解を深められたんだろうか？
あまり楽観的なムードは感じないんだが

>>317
それ聞いてみたいですね
星さんと玉川さんと加藤さんとにかな
あと
フェセンコって人はどんな反応をしたのかな

>>315
>redditで 勝った負けたは、関係ない
じゃあLANAでギャップが明確化され解決の見通しは皆無と宣言されたことは？

加藤は正しいと信じてたん？
金曜の様子だと正しさには執着してない感じだったけど、宗旨替えしたってことかな？

>>315
ここは外野ではw

あいつはIUTは金儲けの種の一つくらいにしか思ってないだろ
それくらい下品でゲスな人間

将棋のプロの山下氏は生まれがノッティンガム。
父上のゴーさんがフェセンコのところでポスドクだったからか。

J. Stixもフェセンコのところでポスドクだった？

フェセンコもどこまで貢献があるか知らんけど
一応フィールズ賞取る弟子までいたのに
ずいぶん落魄れたもんだね

>>321
>ここは外野ではw

ここは 天下のメモ帳だ
が、たまにプロ数学者の巡回があって
プロ数学界情報を書いてくれる
戦線を拡大しすぎても よろしくないだろうさ

>>325
”古池や蛙飛びこむ水の音”

いま、LEANプロジェクトから 一石投げられ
波紋が広がっている
それを 注目していれば良い
これから、いろいろ動きがあるだろうから

https://ja.wikipedia.org/wiki/%E5%8F%A4%E6%B1%A0%E3%82%84%E8%9B%99%E9%A3%9B%E3%81%B3%E3%81%93%E3%82%80%E6%B0%B4%E3%81%AE%E9%9F%B3
古池や蛙飛びこむ水の音

>>326
＜波紋の一つ＞
https://zen.ac.jp/news/zmcpostevent0717
2026/07/17
プレスリリース
IUT理論のコンピューターによる検証を目指す LANAプロジェクト、「Project LANA Interim Report on IUT Theory」を公開
——現時点での評価、残された課題、Scholze–Stix報告書との関係を報告

公開文書「Project LANA Interim Report on IUT Theory」概要
この報告書は、LANAプロジェクトがこれまで進めてきたIUT理論の検証作業について、現時点での到達点と今後の課題をまとめた中間報告です。まず、IUT理論が発表されて以降の経緯と、それをめぐる議論の流れを整理し、LANAプロジェクトがどのような立場から検証を進めてきたのかを説明します。そのうえで、少なくとも多くのプロジェクトメンバーにとって、IUT理論の第3論文の、定理3.11から系3.12を導く過程に不明瞭な点があることを指摘します。

問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点、あるいは、アルゴリズムの出力から得られる複数の可能なデータのうちの一つが、入力から定まるデータとどのように同一視されるのか、といった点について、IUT理論の原論文の記述は明瞭に追跡可能とは言えないという点にあります。報告書は、2018年のScholze–Stix報告との関係にも触れつつ、IUT理論の正否について最終判断を急がず、論点を整理し、今後の研究、国際的議論、形式化作業の基盤を示すことを目指すと述べています。

報告書全文 ▶
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
Contents
0. Introduction
1. Basic ideas of IUT theory
2. Overview of initial Θ-data
3. Local GM-data and log-shells
4. BPS and ´etale Hodge theater
5. Volume container and log-links
6. Multiradial algorithm
7. Θ-link and the big-H diagram
8. On the logic from theorem 3.11 to corollary 3.12
9. Points to be clarified
10. An examination of Scholze-Stix document References

IUT理論検証の現状と今後の見通し
数学的なギャップが存在する可能性は排除していませんが、それが本当にギャップであるのか、それともまだLANAプロジェクトメンバーの理解が十分に深まっていないことに由来するのかについては、最終的な判断を保留しています。

今後、LANAプロジェクトは、残された論点のさらなる精密化を進め、最終的にはLeanコードへ翻訳できる形に整えていきます。

LANAプロジェクトについて
本プロジェクトは、準備期間を含めると2023年秋から活動を開始し、2024年9月から本格的に始動しました。ZMCは、特定の立場に偏ることなく中立的な視点を保ちながら、IUT理論を形式化可能な形に整え、論点を明確化し、最終的には形式化することを目指しています。

馬鹿が何言ってんだか

>>318
加藤はこのプロジェクト発足のコメントを読んでも
当時は既に疑ってたはず
星も昨年末には形式化は無理だと考えていただろう

>>319
LANAは解決できないと断言したわけではないが

>>329
星も望月も山下もYangも今形式化に取り組み始めてると報告されてたよ
形式化出来ないとは考えてないと思うよ

>>325
IUT擁護派はすぐダブルスタンダードでクソ漏らすからな

ほんとテメエで何描いてるかわからないゴミw

ID:nUKgsSja
すぐ自己矛盾するキチガイ哀れ

>>327 補足
>報告書全文 ▶
>https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
>8. On the logic from theorem 3.11 to corollary 3.12
>9. Points to be clarified

いま、ざっと斜め読みしてみた
P44 Figure 6. The η algorithm
が、キモだろうね

その解説が
直後の 9.1. The η algorithm. で
Step 1〜9まで

9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか

まさに 乞うご期待
ですね

>>330
誰もそんなこと言ってないけど君、幻覚でも見えるの？

>>334
手順がないものをalgorithmと呼ぶ時点で狂ってたな

>>331
えー

>>334
読めないのに無理しなくていいよ

転載：ID:dythpcIC さん、ありがと

https://rio2016.5ch.io/test/read.cgi/math/1783860274/104-106
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ

https://github.com/Takkun-kohinata/IUT_LEAN
Opus4.8とFable5で作ったIUTの形式化

まーたコピペIUT仕草でクソ漏らし始めたw
論破されるとすぐこれだからなあIUT擁護派って

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

もう負け犬の遠吠えはやめとけ
工学部卒の数学素人が何を言っても無駄

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

これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか

沖のカモメにふかしイモ取られて、ツイてね～♪

>>342
@FumiharuKato 7月7日
数学においてもっとも深遠でもっとも危険な概念は「等しい」ということだ。ふたつの抽象的構造を等号で結ぶことだ。

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

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

>>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大学

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

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