Interuniversal geometry とABC 予想61 



未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います。

>>137
星はまだ逃げてないよ
ずっとプロジェクトに関わる予定
そしてLANAもまだ説明続けるよ
Lepageも理解するのに2年かかったからな、まだ途中だろ

>>139
かわいそう
政治の木偶

星は出世のために研究室のボスに従うしかなかった被害者だろ

>>138
前回もIUTの説明からにげたw

ケドラヤはlean形式化もIUTもど素人
トパーズはlean形式化が専門でも
遠アーベル幾何が専門だ。

IUTTは川上量生企画望月新一監修加藤文元著IUT本で決着している。

>>104
LANAより進んでんじゃん
文科省から資金引き出せるのに

Grokに訊ねたら、結局ScholzeとStixが2018年に指摘した点が
今回改めて自明でないと判定された、ということらしい

ダメじゃん（笑）

>>104>>106
👍

ss論文に完全敗北じゃん

もちろん、我々の解析とScholze-Stixの解析にはいくつかの共通点があることもここで述べておくべきでしょう。 おそらく最も重要な共通点は、両報告書とも「定理3.11から系3.12を導出する過程」に問題があることを指摘しており、この問題は「実数直線Rのコピーの識別」に関係しているという点である。しかし、前者の点についてさらに詳しく説明すると、Scholze-Stixは「提案された証明には深刻な問題があり、彼らの見解では、軽微な修正では証明戦略を救済できない」と主張しているが、我々は修正の可能性や難しさについて何ら主張するものではない。さらに、「abc予想」の証明が存在するか否かという問題については、LANA会員の多くは「原論文には少なくとも形式化可能な証明は含まれていない」という見解を持っているものの、この点に関して完全な合意には至っていない。

これ望月さんが生きている間に何等かの決着はありそうですか？

望月論文は肝心なところが伽藍堂なので無価値ということで
もう決着がついた

>>148
受理された論文の扱いとか何も決着がついていません。

次は1年を目処にって、記事に書いてあったなぁ。
その間、話すことがあるのかw

このスレで

>>146
IUT側は根拠ゼロの感想でしかないのウケるwww

IUTおじさん「我々は修正の可能性や難しさについて何ら主張するものではない。」

👆
修正必要なん？
っていうかそれってさあ
そもそもが未解決という話では？

abc予想は京都限定の定理と揶揄されてきたわけですが
結局分かりませんでしたみたいなことがニュースになるのも
日本でだけですね
他の地域ではとっくのとうに決着済みですから
ガラパゴス数学です

証明の有無が問題なわけですから
Scholze氏が何を言ったかは関係ありません

数学の成否を研究者の属性に帰するのは
IUT陣営にありがちな誤謬です

形式化により確認できるのは
「正しいか否か」ではなく
「証明があるか否か」です

記者会見・レポートでごまかしていますが
成否が問題なのではありません
証明の有無が問題なのです

証明がなくとも正しいことはあります
「ZFCからRiemann仮説が従う」
はおそらく正しいですが証明がありません
「証明は自明、理解できない方が悪い」
は正しくも間違ってもいません
"not even wrong"です

望月氏が自明・単純・初等的と主張している箇所に
証明があるか否かが問われているのです
証明責任は完全に望月氏の側にあります

記者会見・レポートは加藤氏が友人の望月氏を慮って
苦心して創作したものだと思いますが
出した助け舟は望月氏に焼かれてオシマイだと思います

LANAの結論もレポート末尾にあるように
"the original paper does not contain at least a formalizable proof"
なわけですが（formalizableでないものは「証明」でないと明言したいです）
ごまかしを排除してよりはっきり言えば
「望月氏が自明・単純・初等的と主張している箇所に証明が見つからない」
ということです

ついでに言えば
LANAとS-Sとの差分は
どこまでナンセンスを認めるかの違いに過ぎないと思います
証明されていない"distinct arithmetic holomorphic structures"等々を
真面目に扱うか無視するかの違いです

記者会見でKedlaya氏がSummaryで
（等式証明は）"requires the commutativity of a diagram which
is not the one drawn by Scholze-Stix"
と未知の図式の可換性を証明することが進展の鍵になると言っていますが
これはまさにScholze氏がWoit氏のブログで繰り返してきたこと
"you can just answer to my challenge of pointing to a single
diagram whose commutativity is rescued by allowing some
indeterminate isomorphism"
"As I said, it's very easy to convince me that (2) is wrong:
Just point to one diagram whose commutativity is rescued by
allowing this indeterminate isomorphism of π_1(X)'s"
のことです
Scholze氏はそんな可換図式はないからIUTは決定的に破綻している
自分に反論したければ可換図式を出してみろと挑発しているわけです
それに対してKedlaya氏はそのような可換図式あるかもしれないから
望月氏が"tautological"に成り立つと主張する等式が
成り立つかもしれないと言っているに過ぎません
いかにも弱弱しい言い訳だと思います

総じて記者会見・レポートは望月氏の立場に最大限配慮した
到底中立とはいいがたいものでしたが
それでも証明がないということを認めざる得なかった
ということでしょうか

↓前スレの予言者たちが大正解で笑える

580 １３２人目の素数さん 2026/06/05(金) 13:57:15.51 ID:hh2bP5sr
ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね

582 １３２人目の素数さん sage 2026/06/05(金) 20:47:34.74 ID:dIc+3A3u
「問題は3.12じゃなああい、3.11.5だああ」
とか小細工かましてフカしてるあたり
認めないだろうなw

583 １３２人目の素数さん 2026/06/08(月) 23:26:33.76 ID:jIFwXGol
ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...

>>139
星がlean書けよ、て言われないのかな

結局望月が自明と言い張っていた箇所は取り巻きの誰一人説明できず
造語のオンパレードのIUTは肝心部分の証明が存在しない空っぽの粗大ゴミであるを取り巻きたちもしぶしぶ認めたんだからもう完全敗北だよ
IUTで昇進・採用された奴らは全員辞職すべきだね
> Nevertheless, it reached the understanding that,
at least according to LANA’s present understanding, in the derivation from Theorem
3.11 to Corollary 3.12 there seems a point where a proof is not fully written, and that
this point can be specified as a problem of diagrammatic commutativity or id-ness.

多忙な身でこんなゴミの山の違法建築からダメな部分的確に見抜いただけでも
ショルツスティックスはやはり数理研の望月利権の凡夫たちとは一線を画していたな

だいぶ厳しい指摘をされているな

IUT理論をわかりやすく言うと
ある世界では意味を持つ情報を、
別の世界に移行させ情報を意図的に切り離し、
それでも比較可能な不変量だけを取り出す
という論理の組み立てです。

問題点を辛口に要約すると

独りよがりな新規な言葉や概念が非常に多い。
前提知識に数学上でも難しい理論を詰め込み過ぎ。
数学的対象をそのまま比較しないで、別の系統にすり替える。
純粋な数学的直観が変形して推論を押し進める。
望月理論（IUT）の証明全体が五百ページに及び、前提となる論文が数千ページ。
数学者の間でも疑問点が多すぎるとの評価。
望月氏の共同研究者や取り巻きの一部だけが支持。

>>146
> Scholze-Stixは「提案された証明には深刻な問題があり、彼らの見解では、軽微な修正では証明戦略を救済できない」と主張しているが

ss論文から8年経ってもIUT理論によるABC予想証明を救済できなかったんだからScholze-Stixが正しかったじゃん

百万歩譲って今後IUTのギャップが埋まる可能性があるとして
現時点で証明が無いことは確定でしょ？
そのことに対してなんで望月はダンマリなん？

その通りだと思います

現時点で理解可能な証明はないが
もしかしたらギャップが埋まるかもしれないから
判断は先送りする
などという時期はとっくのとうに過ぎています

まあ
照明では無かったと言うことがハッキリして良かった
次はrimsか京都大学かあるいは日本数学会が
論文取り下げ圧力を掛けられるかどうかか

いずれにせよ現時点で証明がない（少なくとも論文に書かれていない）
ということを共通理解としなければ建設的な議論はできません

つまり議論はとっくにとうに決着しているわけですが
新たに証明となる実質的なものが望月氏側から出てきたら
それはそれで別の話ということです

また望月氏が人身攻撃を繰り返したことについて
謝罪なり反省なりを示す必要があるかと思います

これまでの経緯から察するに残念ながら
どれもあり得ないことだと思います

100歩譲ってギャップが埋まったとしたら多分埋めた人の功績が99%くらいになると思うよ。

>>158
今日の報告会でRIMSでもLean形式化やってるって言ってたよ
星氏は両方やってるらしい

結局、遠アーベル幾何学とLEAN両方を理解できる存在がいないことに尽きるな
世界に20人いないんじゃね？
だからコメリンも会見で散々AIエージェントAIエージェント言ってたように、AIに頼った証明構築になっていくんじゃねーの？

Scholze曰く、望月は問題のダイアグラムが成立する具体例を一つも挙げられない
形式化以前の問題

できないことを
自明自明、理解できないやつはバカ！
ってゴネ続けてたとか相当恥ずかしい

この騒動でたくさんお金使って任期付も多いとはいえ
ポストゲットした人たちおめでとうございます

ショルツからの指摘をなぜ自明でゴリ押ししたのか
やっぱ無しでと言えるタイミングはいくらでもあった気がするけど

論理の問題ではないというのが結論なのだろうか

自明で押して
証明ではない
ちこと

結局
残したいのは何なのかによる

現代数学でも最高難度を誇る数論幾何学の最難関分野にして

最高レベルの抽象性領域に君臨するアナベール幾何を扱う

望月理論（IUT）は神ってことでＯＫ？

さてと、どなたが尻を拭うんですかね

GAPが埋められてないのに
「絶対埋められないとは言えない」で
この先発展させていくんでしょうね

京都の祇園祭は疫病神

abcは京都とりまき限定定理で他はabc予想

バイオとは違って、数学だから望月さんの論文騒動が大騒ぎになっていないだけですか？

世間の関心は薄いから望月さんにとっては良かったということですか？

このまま世間からの批判が全くない状態は今後も続くでしょう。
ですので、この件はこのままではないでしょうか。

>>179
ほんましょーもない言い訳だわな。
こんなの俺がリーマン予想を証明できないとは断言できないってのと変わらんレベルだわ

そもそも定式化が疑われてるのにギャップもクソもないわな
証明全部sorryでいいから定義を書き下して見せればいい
それもできんでギャップとか何言ってんのって話

複数のAIが俺の>>104のREQUEST_theta_hull_derivation.mdで指摘される命題(P)の証明が与えられれば、
>>104のLEANコードの枠組みでLANAプロジェクトの言うη^q=ηS^anabが完全に証明可能だと言ってるな

(P) [IUTchIV] Thm 1.10 証明 Step (v) において、Θ-標対象の可能な像の合併 (indeterminacies (Ind1), (Ind2), (Ind3) 込み)が、
v_j ∈ V^bad の成分で λ := ord(q^{j²}) とした容器 φ(p^λ·(R_I)~) ⊆ p^{⌊λ−d_I−a_I⌋}·log_p(R_I^×) に含まれる
—— ここで体積は、[IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f) で
q-標対象の測定に用いられるものと同一の procession 正規化 mono-analytic 対数体積(受信側 (1,◦) の正規化)である。

(P) を認めれば以降は全て機械的に従う(検証済み)。問題は (P) 自身の導出である。
​
ってことね

じゃあそのaiで作ったLeanの定式化コード公開したらいい

>>187
>>104でしてるだろ
Githubだぞ

（P）の証明部分はないからそこは望月教授と星さん頼りなんだと思うぞ結局
現状のAIは非常に直接的に書かれていないこと以外は認識できない
もし論文の複数編に分かれてこのj^2・ord（q）の説明が書かれていた場合は認識できないからな

>>188
×書かれていないこと
⚪︎書かれていること

>>186
結局ショルツが指摘した内容だったり今回のLANAでも確認した可換性を保持した貼り付け部分の話って感じだね

>>181
ドワンゴ川上麻生&笹川財団の圧力で隠蔽してるだけじゃね
バイオのは創価山中の敵だったので延々叩かれたライバル笹井は死亡(やってることはアウトだが死ぬことはないと思う)

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

>>181
バイオだとインサイダー取引が付き物だからね
数学だと卓越くらいしかないわな

>>179
望月論文に証明が無いことは確定したけどね
PRIMSはなぜ査読通したか説明した方が良いと思う

>>188
>もし論文の複数編に分かれてこのj^2・ord（q）の説明が書かれていた場合は認識できないからな

そんなことはないよ

あと8年で新一も退職だしな
それまで未確定で押し通すんだろう
leanでむしろギャップがはっきりしたし
以前なかったAIで検証も容易になってるね

ドワンゴzen大学は今後AIでやっていきたいのかね
っていうのはただの想像だが

AIはどうかわからんがIUT見捨ててでもLEANの方は推進していく雰囲気は感じたな。

ブンゲンの発言もIUT擁護は消えていって検証力を示したい感じ
IUTが全否定されたら
「LEANの衝撃！数学者がだれも検証できなかった証明を現代AIが解決」
で本書いてまた儲けられる

記者：Peter Scholze氏らによる批判的な報告書について、LANAプロジェクトではどのように考えていますか。

加藤：Peter Scholze氏の反論、あるいは報告書に関して、私たちがどのように考えているのかについては、（上述の）LANA報告書の中で説明しています。

結論から申しますと、我々の報告とPeter Scholze氏およびJakob Stix氏の報告の内容は本質的に異なっています。そして、我々は彼らの誤謬を指摘することができます。

ブンゲン曰わく、SSは誤謬、だ、そうだよ
https://note.com/katobungen/n/nbf629d03ad80

>>198 >>199
泥船と分かった上で乗るもの好きはいないでしょ

プロの数学者が揃って意味わからん言ってるのに素人が定式化できるわけないやん
アホか

>>186
そこを、プロンプトでネット参照禁止にしてAIに証明を考えさせてみたらどうかな

数年後にはこのレベルの命題をAIが検証でなく単独で証明できるかどうか
ある程度整理された予想を突っ込んだら証明ができるようになれば
数学研究の形は大きく変わる

>>200
揚げ足取りみたいで気持ち悪いな
結局は彼らが理解できるものになっていなかっただけだろ

>>205 同意

katobungen
＞したがって、Scholze氏とStix氏は、彼らの報告の中で、結局IUT理論の
＞証明は直しようのない欠陥を持っている、というふうに結論付けてしまった
＞わけですが、私たちは、より高い解像度で問題を見ることによって、
＞そこまでは言えないという立場になっています。

「直しようのない欠陥」って指摘に対して
「そこまでは言えない」と断言するんは
欠陥を直してからにしろって
少なくとも直せることを予感させるブツを出せっての
欠陥が指摘されてからもう８年経ったけど
「自明」とかの言い訳以上のものは何もない

その時私は気づいたのです岩澤理論を堆肥ミューラーに適用できる事ぉ

既存の理論の組み合わせで解決するならとっくにAIが解いている

だいたいLANAがScholzeの批判を攻撃する理由もない
数学を属人的なものと勘違いしてる
中立でもなんでもない

証明の有無を判断すればいいだけだろ
他に愚痴をこぼす必要なんてねえっての

>>205
そもそも望月が説明出来なくて悪いが、
SSの間違い反論を信じてバッシングする数学者たちが一番悪い
（むろんSSは悪くない。むしろその反論と検証によって課題が明確になってきた）

あとそのアホな数学者たちに乗っかって煽る似非数学者たち（崩れ）こそが諸悪の根元

SSなんて関係ない
abc予想の証明がないんだ

仮にSSがレポートを撤回しても
abc予想の証明がないって数学界の認識に１�_の変化もない
アイディアも何もない
だから引用もされてない

さらに言えば
もろ利害関係者のカトブンが何を言おうが
SSの指摘は的確だって評価が変わることもない

>>210
しょうもない奴

夢から覚める時が来たということか

どうせ望月はまた
自分にとって自明な×××を
みんなが理解してないとは思わなかった
とかなんとか同じ言い訳を繰り返すんだろーな

>>210
だったら日記で罵倒してケツまくってんなよw
ダブスタIUT擁護w

>>212
>>215
ああそうそう、こういう単レスや逆ギレで終わるのが似非数学者（崩れ）の特徴

何も意味のある反論が出来ないのだ

望月が理解者認定した星参加で形式化できなかったことを望月はどう評価するのか？

泥沼の鶴です、クエクエw

> そもそも望月が説明出来なくて悪いが、

ここで終わる話
SSを信じるとか乗っかるとか全く関係ない
証明したと主張する側が10年以上経って何も答えてない

ブンゲンはいつもの小狡い論理で「SSに間違いがある」とは言いつつ
望月の証明が正しいとか検証できるとか一言も言わない
それが「より高い解像度」なんだろうなw

>>216
逆切れとか言ってんの笑うw
ダブルスタンダードすぎw

ほんと一貫性ゼロっていうか数学すら科学さえやったことないバカだろこいつww
そりゃショルツさんのアドバイスに喚くわけだわ

>>216
ダブルスタンダードの実例出されて
反論できねーからクソ漏らして逃げるIUT擁護派おじさんの姿w

こいつLENAはIUT証明を目指していない！！とか言ってたバカとそっくりだな
とにかく一貫性がないアドホックなクソ漏らすたびに論破されて逃げるw

まさにIUT擁護派おじさんw

あれだけの分量の中からピンポイントに問題となる箇所を見つけたのがショルツ、スティックスなのに
礼もなしってほんまひどいな。

>>219
終わる話か？
望月もそうだし星もそう、山下もYangという人もまだIUTのLean形式化に挑んでる
自分の研究時間を割いてまで
尊師の思想？はまだ追えると考えて努力してんだから、終わりにするのはそれはそれで納得いかないな

まあブンゲンは怪しいが、ケドラヤもあとの２人も真剣に検証作業してんだから、検証作業に値すると見てるんだろうし

>>223
似た考えで別のルートへの発展はあるかもしれないよね
でもIUTのABC予想証明はアウト

>>222
最初の反論に対する反論で礼はしてるぞ
罵倒もしてるがww

>>224
それはそうかもしれんね
何十年後かの別ルートに期待か？www

>>216
ごめん
220は誤爆しました
ほぼ同じ方向性の書き込みです

カトブンだって記者会見で
https://www.youtube.com/watch?v=KADN5NHmIfw
1:01〜
『それ（＝S-Sの指摘とLANA・Kedlayaの指摘）は基本的に同じ』
って言ってるじゃねーか

証明中に「 X であるから Y 」ってあるけど
行間がでかすぎて分からんかったとする
A氏が「 X と Y を繋ぐ方法は U 以外に
ないはずだけどそれは絶対無理」
B氏が「 X と Y を繋ぐ方法にワンチャン
W があるかもしれんけど具体的なやり方は分からん」
ってそれぞれ考えたとしても
行間を埋めるものが出ないんなら
２人の言ってることに実質的な違いはない
ブツそのものがないんだったら解像度も屁も糞もない

>>228
会見の映像をわざわざ見返してくれたんだね。ありがとう。

そうだね、SSの指摘はポイントとして完璧だね。

ただ、加藤さんはこうも言ってますね
↓
確かに、私たちが問題にしている箇所や、問題にしている問題の種類は、非常に大まかに言って、Peter Scholze氏およびJakob Stix氏によって指摘されたものと似通っています。しかし、私たちは、よりIUT理論のオリジナルのコンテクストに近いところで、その問題を指摘することができていると考えています。そのため、議論の解像度は上がっていると私たちは思っています。それによって、Scholze氏およびStix氏が完全に見過ごしているポイントが見えてきます。すなわち、不定性の問題です。彼らが「blurring」と呼んでいる問題ですが、その不定性をどう捉えるか、その不定性をある意味で非常に本質的なものとして捉え、その視点から問題点を見てみるという点で、私たちの報告は彼らの報告とは違ったものになっていると捉えています。

したがって、Scholze氏とStix氏は、彼らの報告の中で、結局IUT理論の証明は直しようのない欠陥を持っている、というふうに結論付けてしまったわけですが、私たちは、より高い解像度で問題を見ることによって、そこまでは言えないという立場になっています。

そこまで言えないかどうかは、証明を通してからしか分からないのでは

世界で2番目のIUT理論研究拠点
IUGC (突然ZMCへ改称)。

�@
・加藤文元.IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
・アナウス.
abc予想を解決したIUT理論。
▫︎
両者は因果律から矛盾している

�A
フェセンコ
・そもそも概念や使う言語など
従来の数学論文とIUT理論は
違うので完全に理解するには3年
かかった.

�B 梅崎
IUTTの単位を4つとも取るのは
かなり難しい

▫︎
世界でIUTの理解者は20人程度
と言ってるが、
加藤文元.フェセンコ.梅崎は
自称理解者でしょ。
文元IUT本は望月新一監修だから
意義がある。
LANAは星以外がIUTど素人
のメンバー。

zenのLANAは
>加藤文元.IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。

から全力で逃亡中

https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m

>>229
既に>>206に書いた
カトブンの言い訳は言い訳になってねえっての

>>161
アレクサンドル・グロタンディークは本当に偉大だったね
一般の人にはあまり知られていないフランスの数学者だけど
新しい概念を抽象的に記述する現代数学の言語を組立て
グロタンディークは数論を「幾何学として理解する」為の基礎言語を創造し
現代数学体系の中でも超難関分野の数論幾何学を形成したガチ天才

肝心の望月氏の反応がまだですが
レトリックを越えた建設的なものが出てこない限り
（出てくる可能性は極めて低いと思っています）
これでLANAに（中間）成果があったと言われても
それに賛同する専門家はほとんどいないと思います

論文中に証明が存在しないという
圧倒的多数派の専門家によるコンセンサスを
再確認しただけですから

ABC予想が別の望月予想に言い換えられた
ということであれば
それが3.12であっても
その証明中に自明とされた同一視のことであっても
そこに大した差はありません

IUTを理解してるけど証明を説明できない人がこの世に20人いるらしい

IUTを理解したうえでABC予想の証明になってないと判断するケースを考慮しろよ

それができたら一億円の賞金が貰えるんじゃなかった

>>237
川上さんの賞か
あれって審査プロセスが非公開なんだってな

なんだかんだ
結局中間発表は事前の予想通りの結果だったわ

もう何年も証明がないって指摘されてんのに
今更も今更
論文中に証明を見つけられなかったけど
どこかに有るかもしんないから判断は保留
ってか
これからもずっとそんな言い訳続けるつもりなんか