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

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

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

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

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

『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仕草