Interuniversal geometry とABC 予想61 



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

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

ショルツェは何も間違ってない。彼はIUT語で書かれたIUTを無理やり数学に翻訳したうえで証明に失敗してると言った。
一方LANAは形式化に失敗し、IUT語で書かれたIUTは数学ではないと言った。
どちらも本質的には同じこと。

つまり、望月は不当なsimplificationだと批判したが、そもそもIUTが数学になってないからsimplificationしたまでであって、問題の根本はIUTが数学でないことだ。
間違いなのではなく、そもそも正誤を判断する対象ですらない（Not even wrong）。

ホントその通り
それなのに問題点を指摘したS-Sを悪役にして
指摘を罵倒で返したMや論文を通したRIMSは無問題って
控えめに言っても（自粛）ですね
https://note.com/katobungen/n/nbf629d03ad80
＞Scholze-Stix報告は、その影響力の大きさから、IUTは単純に
＞間違っているという印象を強く世界に押印しましたが、
＞それは非常に不幸なことだったと思います。"

アティヤがリーマン予想証明した言うても向こうの人も半信半疑だったのに日本人だとなんでこうなっちゃうんだろうね

加藤和也の名前の字面がいつ見ても加法的整数論

世界で2番目のIUT理論研究拠点
IUGC (後に突然ZMCへ改称)を設立

⚫︎加藤文元所長.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
⚫︎アナウス.
abc予想を解決したIUT理論。

1.
加藤文元発言とアナウスは
原因と結果の因果律も矛盾している
⚫︎
フェセンコ
・そもそも概念や使う言語など
従来の数学論文とIUT理論は
違うので完全に理解するには3年
かかった.

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

2
世界でIUTの理解者は20人程度
と言ってるが、
加藤文元.フェセンコ.梅崎は
IUTの自称理解者でしょ。
文元IUT本は望月新一監修だから
意義がある。
LANAは星(RIMS)以外がIUTど素人 のメンバーなのに、
星は今回もIUTへ質問から逃亡した。

3
k.kedlayaはk.joshiよりIUTど素人なのにk.joshiはメンバーから
はずれている。

4
IUGC(現在　ZMC)の加藤文元発言
>IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。

は、当然、LANA中間報告の加藤文元発言が回答だろうね？

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

IUTほど徹底してIUT語を前面に出して比較写像を無視した
「比較不能性」理論の中核原理に据えた数論は前例がありません。

>>405
忖度が美徳の国ですから

なんかXに3.12の解決策みたいなのを提示している人がいるな
アカウントがキリル文字の人

>>410
何で論文で出さんと？

ようやく国外でも報道があったよ
https://www.newscientist.com/article/2580313-effort-to-solve-biggest-controversy-in-mathematics-has-made-no-progress/
Effort to solve biggest controversy in mathematics has made no progress
『進展なし』だってさｗ
＞“Most people believe that there is a serious gap,”
＞“And I think that this particular report is fully consistent
＞with that: it has not managed to formalise it, which is what
＞we would expect if this big theory had some serious gaps.”

結局「人間に理解できる証明がないのに形式化なんて出来るわけない」
って前々から言われてた通りの結果になったよね

論文の行間が広すぎて理解できないってことならあるあるだけど
本当に証明があるんだったらすぐに詳細を補えるはずでしょ

それが出来ないのなら証明もないのにポエム読んで
理解した気になってただけってこと？

>>410
IUTの難しさは望月が思春期の女ぐらいの気持ちで禁止してることと許可してることを雰囲気で決めてるからで、最近のタオがやってる謎の解析のほうが完全に難しいだろ

とか言ってるしもう弄ってるだろコレ

>>412
加藤の安っちいポエムとかなw

>>413
>最近のタオがやってる謎の解析
とは？

尊師の声明もないし完全敗北だな

>>416
年始の謎日記で爆発w

>>412
そう。IUTは望月新一語で書かれたポエム。
LANAが示したのはポエムは形式化できないという当然の結果に過ぎない。

>>416
SSのときと違って今回は身内の星だから何も言えんやろね

IUTについて興味がある人にSSはなんで間違っていたかを説明するとactual q-pilot images/anabelian reconstructionはpoly-isomで結ばれ、compatibilityによりlog-volume集合は一点集合になるのだが、SSは異なる経路からの二点が一致せずに矛盾すると言っている。つまりより最悪なことが起きている

IUTの国ではICMは開けないってよ
はやく撤回してね

言うに事欠いてショルツに学部レベルもわかってないとまで
言い切ってたのに分かってないのは自分だったとか
首吊るレベルの恥辱だろうな

ドンキホーテみたいに
最後の最期で正気に戻って
死後残る恥の後悔に苛まれながら死んでいくんだろうな

ps://plaza.rakuten.co.jp/shinichi0329/

これ読む限りは本人は本気で正しいと思ってたんやろな。
日本の数学会の組織としての問題と捉えた方が良いのかもしれん。

日本の数学会ってか、数理研の体質だな
たいして実績出してもいない経歴だけの人を甘やかしすぎた
主犯は玉川と言っても過言ではない

>>420
>SSはなんで間違っていたかを説明

IUTは現行の数学とギャップがあり、
望月新一語の間違ってすらいない偽の
理論。

間違ってすらいないIUTから望む結論が導ける。

IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
LANAプロジェクト加藤文元。

>>426
そいつもダブスタだよな
数学といったり
数学でないといったり

加工したような不自然な顔面と
安っちい中身のないレトリックばかり

IUT理論はポエム
はい、現行数学との違いを完全に言語化しますた

星 + 望月 = 星新一

ペンギンがくるくる回って昇天

>>421

そのとおりです。

ICM2030はグラスゴーに決定。

2026年7月21日にニューヨークで開催されたIMU総会において、グラスゴー、香港、東京の3都市が2030年のICM招致のプレゼンテーションを行いました。

総会での投票の結果、2030年のICMの開催地はグラスゴーに決定しました

https://www.mathsoc.jp/section/icm2030bid/news/2026-07-22-results.html

ごね得狙いの望月のせいで日本の数学界の信頼とプレゼンスが失われているってことだな

icmがどこで行われようと数学者には関係ない
数学政治家にとっては重大な課題であろうが

>>429 がびーん！最も強い言葉で評価する！！

数学界の政治好きに巻き込まれずに済んでよかった
何一つメリットないもんな

苗木トークンを生成する

>>435
めちゃくちゃ巻き込まれてんんじゃん
ドワンゴ麻生
笹川朝財団

ヌワンコ・カヌ

でもまあショルツがLean使った理由て「優れた数学者でも間違うのは多々ある、自分や周囲の見解だけで正しいとジャッジして良いのか？」てなったからなんだよな
そういう意味では意義が十分あったと思う、アティヤもペンローズも飛躍して派手なことを主張するようになってったし

人生終盤は統合の段階だから
包括的になるよう大きいことを言いがちになり、個別具体的なことは引っ込むから、派手な主張が増える

俺もある有名な名誉教授が
デタラメな公演して
弟子から即死適されたのを見たときある

https://www.yomiuri.co.jp/science/20260717-GYT1T00330/
＞理論を構築した京都大の望月新一教授と議論を続け、１年をめどに次の報告を行うという。

本当に証明があるんだったら詳細を詰めるのに１年もかかるわけないだろ。いい加減にしろ。

>>429
ちょっと評価する

尊師は首吊るのか、
はたまた間違っていることを自覚しても墓場まで狂人を演じ続けるのか
結末に期待w

>>444
背後の汚い金と政治の流れ
望月1人におっかぶせるだろうね
持ち上げてた奴らこそ悪なのに

なんか文元も年取って薄汚い感じになったな
やっぱりやってきたことが人相に出るんかね

>>433

>icm
international congress of mathematicians
国際数学者会議の略。

数学の遠アーベル幾何学と異なり全く新しい「理論」を称するIUTは数学ではなく、当然IUT は過去のICMでも議題にIUTがありませんでした。
ICM2026にもありません。

日本には京大数理研発のSTAPまがいのIUTがありながら、
日本数学会のICM2030へ開催立候補は数学とトンデモIUTの混合より
数学の破壊につながる行為だった

SS→破綻している　修正の見込みもない
LANA→破綻はしていない　しゆの見込みがある

両者には決定的な違いがあるね

双方とも「証明がない」という
事実に関する認識が一致しています
証明を明確に説明する責任が望月側にあるという
認識も一致しています

しかし修正の見込みの有無は
数学の命題として提示されたものでなく
将来に関する主観的な見通しに過ぎません
（ヒューリスティックに基づいたものです）
将来どう転ぶか分からないという立場に立てば
現時点で両立します
（大多数の数学者は決着済みという立場ですが）

さらに「修正の見込みがある」は
ABC予想が否定的に決着しない限り
反証可能性のない無意味な言説です
「修正の見込みはない」は
証明責任を有する側が責任を果たせば
反証される言説なので意味があります

マクロで見りゃそうなんだけどさ（どんな事象だってマクロならほぼ同型なのはあたりまえ）
ミクロで見たらSSは不定性の扱いが的外れ、LANAは正確に捉えてる、なんだから、SSはごめんなさいしないといけないわな

IUTに関する最大の貢献者はSS

>>450
SSにごめんなさいしないといけない、な

SSの解釈は間違ってて本当はこう解釈するんだ（論文に書いてない後出し）
なおそう解釈したところで本質的に同じギャップが存在することには変わりない

ごめんなさいもそうだし、重要な指摘ありがとうございますってちゃんと言わないとな。

leanを使ってSSの指摘の正しさを再確認した

それが正しいと思ってもらって構わない

理解者達は何を理解してたんだよ
作者の気持ちか

現代数学の見地からすれば存在しないといえる証明を、あると仮定して頑張って解釈しようとした結果、誤った解釈をしたってことでしょ（そりゃそうだ、仮定が間違っているんだから）
改めてそんなもんありませんでした、じゃあSSがかわいそうだ

IUTは望月新一語で書かれたポエムだから数学への翻訳は不可能
そこをあえて翻訳したのがSS
ポエムと切って捨てずに望月の顔を立ててくれたんやな

>>457
忖度したんでしょ
業界トップには
刃向かえない

そういやMの院生って相当厳しくMに指導されてて、IUT理解者で通ってる彼らもなんか一度？二度？論文突き返されて留年させられたって噂？
これがほんとならパワハラ→無理やり尊師の理解強要→洗脳、が現実味なのか？

関係者、パワハラ、セクハラで訴えられたってのも噂で聞いたな

ポストちゃんと世話してて、それで数学者としての実力がついているんなら、まあそこまで悪くないかって気もしてくるが、不毛理論につき合わされるという要素が付加されるとどうだろう

朝鮮人笹川の朝鮮笹川財団に責任取らせないと
あとドワンゴ麻生な

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

個人的な感覚では同じ弟子でも
山下はアウト、星はギリギリセーフって感じだわ

IUTGtr (@IUTTOfSM1969) って望月本人なんじゃないの?

Kodai J.に載った論文と中国人の書いた論文？ともLANAの俎上に載せるべきなのでは

あ
今後もKodai Journalなんだろうか？Kadai Journalにはならんと？

>>468
もしかしてこれらは3.12からの派生なんですか？
それなら載んないか

>>450
研究者が自らの見識に従って学術的意見を公表したところ
仮にそれが間違っていたとしても
（まだひとつも間違っていませんが）
謝罪する必要などまったくありません
完全にゼロです

そもそも証明責任を課されている方が
証明責任を放棄しているのが問題です

謝罪すべきは人身攻撃で対応するなどの
あるまじき行為を行った人物の方です

>>471
アドバイスに向き合わず
非公開の査読通して
学校許認可のダシにして税金抜いてる奴らがどうしたって？

攻撃とやらもIUT擁護派ばかりだな

ついに被害者ぶり出したかw

あぢい～

あち～の

たぶん望月新一語のIUT論文は間違って
いない

数学との違いは、
IUT論文は間違ってすらいない。
3.11→3.12もself.evident (IUT語？)
で完全なんだろう。
ICM2030グラスゴーで決定し日本が
落選した理由は
日本がIUTに汚染されているかも？

謝罪するしないはともかくとして、今回のLANAの発表については一言ないとあかんやろ。
形式化できませんでしたって言ってるんだから
論文間違ってるよと指摘されてるんやから
可能性は２つ
・確かに正しく形式化されていて証明にギャップがあるというのは正しい
・そもそも形式化が間違ってる
前者なら当然論文は撤回すべきだし、後者ならじゃあどう形式化されるのか、Leanではどのように形式化されるのか、そもそもできないのか、ならどんな言語下なら形式化できるのか、そもそも形式化すできないのか
なんか言わんと
間違ってるって言われてるんやから

これで本当に3.12を形式化できるのかわかる人はいますか？
↓
APT/SHE/IPLのalienness依存性をexplicitにし、holomorphic hullへの移行がtheta-linkにする合法性、もしくはq-pilotに対する相対log-volume関係を保存することを示し、その関係からinter-alien log-volume gapを導出して不等式を証明すればCorollary 3.12のformalizeはできるし、やること見えてるやん

>>478
そーだ
fable5に聞いてみよう！

間違ってるってアドバイスされてるのに
10年以上お前はバカだと言い続けてきたIUT擁護派の末路

>>478
Xからの引用乙

>>472
査読が非公開なのは当たり前だろ素人か？

>>482
ゲラゲラ
だせえ

少なくとも自明！学生でもわかるって息巻いてたことに関しては謝らんと話にならんわな。

日本人の感覚なら感謝と謝罪入れるけどね
文化が違うんでしょう

元いじめられっ子のメンタリティは分からん

>>478
そもそもそれができるかどうかが謎いので

創価リハックに偽者大集合ww

今年フィールズ賞を2名輩出した中国
IUTで笑い者の日本

ICM 2030 in Glasgow　

>>489
笹川財団とか日本ぶっ壊して中国に貢いでる勢力なので

>>489
>IUTで笑い者の日本

フィールズ賞 2026年
Fukaya categories
Kakeya problem
受賞理由に
二人の日本人数学者の名前が
挙げられている

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%BC%E3%83%AB%E3%82%BA%E8%B3%9E
フィールズ賞
2026年（フィラデルフィア）[23]
ジョン・パードン（John Pardon） アメリカ合衆国
For his achievements in symplectic geometry including new approaches to virtual fundamental cycles, Fukaya categories of certain manifolds and counting holomorphic curves, and for his contributions to other areas of geometry and topology, including group actions on 3-manifolds and knot theory.

王虹（Hong Wang） 中国
For her work in harmonic analysis and geometric measure theory, including applications of multiscale and decoupling techniques to the local smoothing conjecture for the planar wave equation, and major advances in Fourier restriction, Falconer distance sets, Furstenberg sets in the plane, and the Kakeya problem in three dimensions.

>>492
昔は凄かったねえ

昔は凄かったねえといつも口にしながら生きていくのは本当に嫌だから

今がチョベリグ凄い

>>492

> pd0or1JQ

IUT応援信者スレの通称set A
は荒らしのmath jin絶賛と同値関係から
無知む理解よりカキコミ禁止。
>>2

hissi.org/read.php/math/20260724/cGQwb3IxSlE.html

日本万歳のIUT信者と日本（のアカデミア）憎しのコピペ・煽りは互いにdualの関係
人生うまく行ってないんだろうな

>>477
望月と星にとっては「自明である」の一言で済ませられる背景知識、
3.11までにつみあげられるすべての知識のほうが
leanですべて書けれてないんじゃないのか
大半をブラックボックスにしても足りてないんだろ？

自明ならできる
自明じゃないからできない
それもわからんからなんも書くな

leanで書けるが膨大だから未完成、だったとしたら現在の進捗と今後の予定出せるんじゃね？
加藤の報告はそうじゃなく、どこに隘路があるか分かりその克服の目途は無い、だったぞ？

>>497

LANAは元々IUGCで加藤文元など間違ってすらいないトンデモを主張している。

>>231

トンデモのIUT論文を受理した
京大PRIMS編集委員会の中島啓委員は現IMU総裁。

政治的に中島啓総裁がIUTを
数学として認めるように活動しろsetA、scholzeの勘違いをただすmathjin、
IUT応援アタオカ信者が荒らしてきた。

世界はICM2030がグラスゴー
が答え