Interuniversal geometry とABC 予想61 



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

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

これで本当に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がグラスゴー
が答え

>>497
IUT側は朝鮮偽右翼

>>500
今はコードはClaude Codeに書かせる時代なんだ
膨大なんて事はありえないんだ
何十万行あるプロジェクトを違うプログラミング言語への書き直すのが一週間で終わる時代なんだよ
1日数万行をこなす時代に突入してる

まあ資金の問題はあるけどZEN大学なら問題ない

昔望月研究室を第一志望で院試受けたな
ABCに関しては初期段階で素直に指摘を受け止めて、問題箇所の再証明や別証明をすれば良かったのにな

あと数学の難問や理論って案外原論文よりも他の研究者がやった部分的な別証明とかを読むことで大多数の人がやっと理解したりするパターン
皆んなが勉強して学んだ証明や手法は他の研究者の出版物からで、意外と元の証明方法は知らないというパターン
なんかもある

なので、望月先生の取り巻きも、私はこうやって理解してますみたいな部分的な別証明や別の手法を考案して発表すれば良いだけ
もし望月先生の証明が正しくてショルツェがお墨付きを与えても、原論文だけしか無いと誰も勉強しない
誰かが簡略化したサマリーみたいなものを書いてくれないと広まらない

ショルツェは京都大学に押しかけてまでマジシャン望月を問い詰めたんだっけ

コンヌとかピークの過ぎた数学者はおいておいて、今能力がピークにある数学者達がだらしないと思うのはABC予想を上手くパクる？というか修正することが出来ないこと
SSにしても望月の全体的な方針やアイディアには文句無いのなら自分達でさっさと修正、補強してABC予想証明完了とすればいいのに

>>508
そういうことじゃないのよ
3.11までは定義から自明なことの積み重ねで論理的に正しいがそれにabcを含む非自明な定理を出す力はないということなの
アイデア自体が無力なので修正・補強は無意味なのよ
IUT側の説明は定義の組み合わせ方が絶妙なので自明なものから非自明なものが出る、水に浸した胡桃割りだ、
ということだったけどそうじゃなかった
abcが出るくらい非自明な主張を証明なしに使っていただけというのが今回のLANAの指摘で分かったこと

正しくGAPよなあ

あのTwitter見ると修正すれば成立すると思う人出そうと思ったけど別に成立するとは書いてないぞ

>>509
>アイデア自体が無力なので修正・補強は無意味なのよ
ABCに対するアプローチ方法としては面白いとは思うけどな
ディオフォントス幾何においては遠アーベルとかじゃ無いとABCに接近出来ないのは研究者からしたらほぼほぼ気づいてることだし

>abcが出るくらい非自明な主張を証明なしに使っていただけ
その主張に証明を与えればいいんでしょ
数学によくある予想の置き換えというか、もとからある予想Aは予想Bと等価ということを証明すること自体に意味がある
あとは予想Bを証明するか何なら予想Bが新たな予想Cと等価だと証明して予想Cを証明するだけ

ABC予想関連で不毛だなと思うのは望月先生の証明を議論すること
さっさとABC予想はコレコレの形の予想を証明すると自動的に成立するから、望月の研究ではそれを確認しただけ
さあ皆さんコレコレの形の予想を証明、反証しましょうねで済む話

>>512
不定性を制御するという新しい幾何は確かに最初は面白いアイデアかもしれないと受け止められたから
IUTではない別の幾何でそれを実現できたらいいね
遠アーベルはこの数十年の進展の様子から見てそれほど強力な理論ではなさそう

難しい予想と同値な予想を見つけることは三流数学者の飯の種ではあるけどほとんどの場合無意味だな
非自明な度合いを低減するような何かがないと無意味、でIUTにはそれがなかった
IUTは3.11までは自明で3.12が非自明という大きなギャップがあるけど、不幸なのは
3.11までの内容から出るような面白いことが皆無ということなんだよね
それは理論というか枠組み自体の無力さとabcに対する進歩がなかったことを意味する

>難しい予想と同値な予想を見つけることは三流数学者の飯の種

コンヌ、ヴォイタ、フライが三流数学者になってしまうぞw
自分は等価な予想を見つけることこそがむしろ価値があると思うけどね
フェルマー、ポアンカレ、モーデル予想とか数学の大予想って殆どが複数のサブ予想や等価予想に紐付けられていて、大予想をそういうサブ予想や等価予想を経由しないで解くって無茶苦茶レア

望月先生のアイディア自体は面白いし、ABC予想を解くとかのお題が無ければ、新しいチャレンジとして評価されていたと思うよ
今回のABC予想で分かったのはIUTくらいのSF、サイエンスフィクションね、を使えば成立するってこと
逆に言えば、好き勝手にSFやっても数学の難問予想を解くのは困難
もしAIに難問予想解かせてもIUTみたいな数学SFは作れないだろうね

これが数学者としての個人的な感想

>問題箇所の再証明や別証明をすれば良かったのにな
望月らはIUTにおいては自明で証明不要と本気で考えている。
つまり問題は証明できるか否かではなくIUTが数学か否か（＝形式化可能か否か）。
LANAは2年近くかかって形式化できなかった。それが答え。

>SSにしても望月の全体的な方針やアイディアには文句無いのなら
望月の全体的な方針やアイディアでは絶対証明できない、つまりゴミって言いきってるよ

何言ってるかわからんのやから修正もなんもないわばーか

望月先生を擁護する訳じゃ無いんだけど、ウィッテンやヴァッハあたりの論文も形式化してないし、数学じゃ無い
けど面白いんだよなぁ

望月先生が趣味として数学的SFしてます
これABC予想とかが成立するんですよ、凄くないですか？
みたいなノリだったらここまで騒ぎにならなかったと思う
もしウィッテンが同じような感じでABC予想を導出したら、数学者は目くじら立てなかった

望月先生が不幸なのは自分がやる数学は全て数学になると本気で思ってること
ウィッテンとかだったら、自分は数学者じゃ無いと自覚してるから、アイディア出しの軽いノリでヤバい！ABC予想導出できちゃった！数学のプロさん達、精密化ヨロシク
で終わるんだろうなw
数学者って頭かたいからなぁ

>>516
>望月の全体的な方針やアイディアでは絶対証明できない

ってことを証明しないといけない、ジレンマ

最近のフィールズ賞とかも小粒だけど、こういう時こそ望月の方法？駄目だねw 自分がABC予想解いたよw
くらいのスーパー数学者が現れたら面白いのに

>>518
ウィッテンだろうがタオだろうが誰が出してもツッコミは受けるわ。
それを受け入れて修正する、撤回するかどうかってだけの話。

すぐ一般化してメチャクチャな擁護を始めるのがこいつらの習性だわな。

>>518
＞望月先生が趣味として数学的SFしてます
＞これABC予想とかが成立するんですよ、凄くないですか？
＞みたいなノリだったらここまで騒ぎにならなかったと思う

騒ぎになっている現在でもIUTの修正はできてないのに、
騒ぎにならなかった場合は「早い段階で忘れ去られていただけ」でしょ。

結局、IUTが本質的に無理筋であることが原因なのであって、
軽いノリで発表したからといって
何かが劇的に変わっていたわけではないだろうね。

アティヤもぼけ老人扱いされてたのに、ウィッテンなら～は妄想もいいとこでは……

>>519
>ってことを証明しないといけない
なんで？

>>520
ツッコミ受けるようなウィッテンの論文の引用をしまくってる数学者が多いのですが？
まあプレプリント止まりが多いのはそういう訳で
あとコンツェビッチとかも昔の論文は?な所が相当あるぞ

>>521
>IUTが本質的に無理筋であることが原因
それを言い出したら場の量子論も数学的な裏付けとか無いから、量子物理関係の数学の論文も無価値になるけどなw

>>522
アティヤは言動からしてもう歳だなと
ウィッテンのやる数理物理だって数学的に相当怪しいぞ
何ならストリング理論も実験で予言力無し

ABC予想の検証はちゃんとした方がいいけど、結構ビッグネームでちゃんと検証されていないというか、放置されてる人はそこそこいるよなって話
〇〇理論といえば誰それが始めたとか言うけど、確かにビッグネームの論文で触れられてはいるけど、実際の計算や厳密な証明は別人ってよくあるからな

望月先生は空飛ぶ車を作るのに真面目に自動車を改造してるようなもの
ウィッテンやコンツェビッチとかは空飛ぶ車があるとこういう時に便利と言うだけ
そしてドローンが出てきたら、デッカいドローン作って、これが空飛ぶ車ですと発表
ここらへんの立ち回りが望月先生は下手なのよ
自動車をくそ真面目に飛ばす必要はない訳

エアタクシーの開発を手がけるジョビー・アビエーションのeVTOL（電動垂直離着陸機）。ジョビー・アビエーションとアーチャー・アビエーションは、2026年中の商業運航開始に向け、アメリカ連邦航空局の認証取得を目指している

自分が望月先生を評価したい点は他の人が挑戦しない超難問予想に自ら挑戦し、その道具までも自力で構築しようとしたこと
今の時代、数学や物理でもこういう人はいなくなったからねぇ
自分の範囲の問題を解くだけの人が多い

>>507
お願いされてわざわざ日本に来てんだよ

>>527
っていう素人の妄想を土壌に
安っちい天才のイメージを利用して
エセ数学で税金抜いてるのがドワンゴ学園

>>524
＞それを言い出したら場の量子論も数学的な裏付けとか無いから、
＞量子物理関係の数学の論文も無価値になるけどなw

詭弁だな。「場の量子論に数学的な裏付けがない」からといって、
それのどこが無理筋で無価値なんだ？
物理は実験で観測して確かめればいいだろ。
物理学は実験科学であって、数学的な厳密な証明が揃っていなくても、
物理学としての独自の価値や有効性が認められるだろ。

しかし、純粋数学はそうはいかない。厳密な論理的証明そのものが
存在意義の大半を占める。ここで「数学でもアイデアは重要だろ」
と言いたいのなら、まさしくIUTは

「厳密な証明としてみたときにギャップがあり」
「IUTのアイデアが価値を発揮する場面がそのギャップに集中していて」
「しかもこのギャップが埋まる道筋が未だに出て来ない」

という状況。IUTが無理筋ってのはこういうこと。
しかも著者本人は「ギャップなんてない。自明だ」
と主張していてずっと平行線だしな。
これのどこに数学的な価値を見出せばいいんだよ。
あんたの言ってることはおかしいよ。

>>524
＞それを言い出したら場の量子論も数学的な裏付けとか無いから、
＞量子物理関係の数学の論文も無価値になるけどなw

詭弁だな。「場の量子論に数学的な裏付けがない」からといって、
それのどこが無理筋で無価値なんだ？
物理は実験で観測して確かめればいいだろ。
物理学は実験科学であって、数学的な厳密な証明が揃っていなくても、
物理学としての独自の価値や有効性が認められるだろ。

しかし、純粋数学はそうはいかない。厳密な論理的証明そのものが
存在意義の大半を占める。ここで「数学でもアイデアは重要だろ」
と言いたいのなら、まさしくIUTは

「厳密な証明としてみたときにギャップがあり」
「IUTのアイデアが価値を発揮する場面がそのギャップに集中していて」
「しかもこのギャップが埋まる道筋が未だに出て来ない」

という状況。IUTが無理筋ってのはこういうこと。
しかも著者本人は「ギャップなんてない。自明だ」
と主張していてずっと平行線だしな。
これのどこに数学的な価値を見出せばいいんだよ。
あんたの言ってることはおかしいよ。

挑戦だけなら誰でもできる
結実しなきゃ無意味じゃね？

>>524
ウィッテンもコンツェビッチも問題ある点については認めてるでしょ。
どこかの愚か者みたく自明！わからないやつは学生以下！みたいなアホなことは流石に言わんし、
それに対して問題もせず査読完了とかしちゃうのははっきり言って愚かだよ。

IUTの要所である3.11→3.12を修正するのはABC予想を証明するのと同等の困難さなので誰も修正できない

>>507
本来なら望月が世界中を飛び回って理解促進に努めるんだよ

>>525
数理物理或いは物理上で正当化された数学であって、ピュアマスではないからねってのと
後に普通に証明されてるんで無意味だし
ウィッテンももう爺だぞ

>>518
グルーオンプラズマで超弦理論側の予測当ててるんだよなあ
低学歴おじさんw

物理学的に正しいというのが証明されてることに、一々数学者は突っかからない
ただ、それもまた数学だ、として認めてしまうのか否かで揉めたというのが昔あっただけ

なんかさあ
IUT擁護派の朝鮮人が
「後付けでも今から証明すりゃいいんだろ！」とか言い出してて爆笑する

パチンコ中毒でアル中朝鮮人かよお前みたいなw

⚫︎2018年.

森重文京大教授のscholzeへ提案より数理研でscholze.stix.望月.星の4者ミーティング。

・個人的に、scholzeは"abc予想の証明へ近づく重要なアイデアは本当に見られなかった"と述べた。
quanta magazine 2018.9.20

⚫︎2019年.

1 望月新一。
川上量生が企画した望月新一監修加藤文元著IUT本刊行。

・本文　P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
・本文　IUT語　p51
>IUT理論は、一般的な数学の パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている

2 scholze。

>Scholze .Clausenは「凝縮集合」と名付けて研究を開始。
2019年4月、ショルツェはボン大学で「凝縮数学（condensed mathematics）」に関する講義を開始し、5月には77ページにわたるノートを公開した。
そのノートは、「コヒーレント双対性（coherent duality）」と呼ばれる重要な定理に対する、新しく洗練された証明へと結実していた。
後にショルツェと共同研究を行うヨハン・コメリンの回想「コヒーレント双対性については、それまでは極めて回りくどく技術的な証明しかなかった」。ショルツェとクラウセンの証明は、明快かつ優雅なものだった。
deepl
➖
condensed mathematics. condensed set

https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/

数学ではないということで正当化される理論は
数学ではない

何で正当化されるの？

正当化したいのだろうができてないことが判明したところよね

>>539
排外主義の日本マンセーのところがIUT信者とうり二つで笑う
人生うまく行ってないんだろうな

後付でもいいからできるんなら証明すりゃいい
ただIUT擁護派が思うような、「望月先生が9割方作った解法に画竜点睛する」といった性質のものじゃなくて、「ABC予想証明に匹敵する非自明な証明を一からやる」作業になるだろうから、全く簡単じゃないだろうね
要するに望月はまだABC予想証明のために必要な仕事を全くしてないわけだ

>>544
低学歴在日ワラタ
IUT笹川＆ドワンゴがmチョン勢力っつーの
三浦瑠麗飼育してるのが川上w
メクラ在日がふかしてんじゃねーぞこら

これが答え

旧満州=北朝鮮&中国瀋陽＝李氏朝鮮=朝鮮族=清和会＝在日偽右翼=統一=勝共=朝鮮道院=紅卍会(日本赤十字)=大本教(偽装神道)=在日偽右翼=プーアノン北朝鮮在日偽右翼=日猶同祖論(イスラエル工作員)

WW2後、英米から東アジアの防共を任されていたが所詮はチョンカスなので結局はロシア北朝鮮に寝返って日本で右翼を騙って寄生しつつ李氏朝鮮奴隷制の復興を目指している

やたら中国中国言う割に
なぜか北朝鮮&ロシアをスルーするのは
旧満州北朝鮮人偽右翼だから

あともう一個パラメータあって
日猶同祖論系宗教の朝鮮人
幸福の科学とかこの場合はイスラエルの犬成分が強くなる

形式化に失敗して証明失敗が明らかになったな

＞望月はまだABC予想証明のために必要な仕事を全くしてない

論理的におかしなトリックでABC予想の擬似証明を達成しただけで、
数学的には無意味

実際さあ
こんなんでさあ
「天才だ！天才だ！」とか
言ってんのも言われるのも恥知らずって感じだよな
よく平気で生きてられるな

天才は天才だよ
間違って認めなかっただけで
それ以前にやってることだけで十分天才
数学の歴史に名を残す大天才とはなってないだけ

秀でた秀才と天才は
明らかに住む世界が違うと思う

過去の業績掘ったらまた間違いが見つかって何もなくなりそう

系3.12の証明だけができなかったことがポイントだよな
それ以前には自明なことしかなくて系3.12だけが非自明でそこには数学の証明など最初からなかった

ショルツに指摘されるまで本人もわかってなかったのかもな

従来の数学論文の記述では、異なる Hodge Theater 間の対象を「同一視」する際、自然言語による補足説明に依存している。これが反対派には「等号＝の不当な適用（全射的潰れ）」に見え、賛成派には「有界な曖昧性を伴う安全な移送」に見えるという構造的認知ギャップを生んでいる。

>>553
系なのに自明でないとは、これいかに

Gap

・望月新一監修加藤文元著IUT本
によれば、
>IUT理論は、一般的な数学の パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
・zen大学.IUGCの動画でも
LANAプロジェクトリーダー
加藤文元
>IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない

IUT語のIUT理論と数学には
ギャップがあるがどこだろう？

多分3.11→3.12で使われているのだろう、
LANAのメンバーで理解者の星先生が今回も質問から逃げている。

>>555

IUT語は望月新一語でお告げです。

自然言語でしか語れない、形式化できない理論www

それがうまくいかないことは一世紀前にはわかっていることなのに
そんなことも知らず指摘されてもガン無視
望月新一は世間が思い込んでたよりずっとレベルの低い数学者だったってことだね

今までは自然言語による推論がたまたま穴が無かっただけなのか

>>549
フランス現代思想(失笑)と同じミスなんだよなあ
抽象で好き勝手できるけど現実に戻せないみたいな

>>561
抽象/具体の往復をサボったんでしょ

>>555
この手の数論予想は不等号式をうまく作って範囲を絞るのが肝だからそこが曖昧だと話にならんわな

Terence Tao「解くだけで終わらせず，検証・解説・出版・受容を経て，最終的にその分野自身の定本理論に組み込まれることが大事」

M「自明だあああああ！奴らはバカだああああああ」

>>565
批判するにしてももっと綺麗な批判をしなよ
ネットの見過ぎじゃない？

１行目はMに言ってやれよ

>>567
私は望月のことは追ってないので、最近どうしてるのか興味があるな
自明だあああみたいな感情的な態度を取ってるの？

>>568
部外者かよw何も知らんのなら黙ってろ

>>569
「とにかく攻撃したい」が先行してて、自分の言いたいことを存分に言える機会を逃している

>>569
それで、あなたは望月のどの言動に引っ掛かってるの？

おれはMが望月とは言ってないよ？お前はなんでMを望月だと勘違いしたんだ？俺よりよく知ってるんだろw

>>572
こっちが話す流れにしたいのかな？私は本当に知らないよ
宇宙際の話の流れでMと言ったら望月新一かなと思っただけ

ならはじめから書き込むなよお前何も興味ないんだろw

>>574
あなたは望月さんのことに興味があるのかなと思って

何このスッとぼけ野郎

>>572
きちんと他に該当する方がいらっしゃるのか？
ハッタリでは無いことを一応確認したい。