Interuniversal geometry とABC 予想61 



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

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

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

別に名前を挙げる必要はないから。

あげなくてもそこまで性格悪いのは一意に定まるからな

ここまではっきり『証明がない』って言われたんだから
・近日中に詳細を出す約束をする
・撤回する
のどちらかしか選択肢はないと思うんですが
それとも
・ただ黙殺するだけである
・狂人の振りをする
とかもオプションとしてあるんですか

>>559,561,562
日本語という名の自然言語で必死の謝意を示す手も
スパイト行動天国には通用しないのであった。

ID:sNl1ohvM
妄想入ってんなこいつw
妄想で他人様に因縁付けてケツまくり
どこのババアだよ

>>582
強く言って1人で盛り上がったって何にもならないよ

>>582
何をどうしたいのかはっきり言わないと

>>582
それ
ゲス婆>D:sNl1ohvM

>>585
結局、宇宙際について望月さんはどういう状況なのかな

>>586
RIMSに突撃

>>584
文盲おばさんに言葉通じるわけないじゃん
被害者ぶって具体性何もないキチガイおばさんブーメランっすか？

テメエで何書いてるかもわからないIUT擁護派仕草ウケるww

IUTなんかよりパーフェクトイド幾何をやるべき

>>580
＞狂人の振りをする
というか狂人

>>588
そういうことしてもあまり欲求不満は満たされないと思うよ
本筋の欲求を解決できてないから

証明できない命題を自明と言ってしまったのだから
責任は取ってもらわないとね

>>588
多分本当の欲求は望月さんや私を批判することではないよね
それが目的ならもっと話に具体性とか一貫性があるはずだから
本当はもっと別の欲求不満に動かされているのでは

そう
確かに内容もないのに口の悪い攻撃的な人がおる
報道のせいで引き寄せられたんちゃう

>>589
そのとおりだね。
2018年の4者ミーティングでabcの証明
のポイントが望月新一語のIUT語で
数学のアイデアがない、革命的な凝縮集合へつながる知見もなかったのだろう。
パーフェクトイドと凝縮数学より
革命的な結果になっている。
だからleanの形式化で補強したのだろう

>>595
日本語が書けないニホンザル？

>>596
事実だよ

>>597
「パーフェクトイドと凝縮数学より革命的な結果になっている。」

日本語としてオカシイ

>>598

「パーフェクトイド(空間の数学)と凝縮数学(が合わさり)より革命的な結果になっている。

>>598
>オカシイ

オカシイのは望月新一のIUT語による
IUT論文

>>599
＞より革命的な結果になっている。

「何」より？

日本語、わかる？

>>601


パーフェクトイド空間の数学より

質問
望月新一のIUT語によるIUT論文
は　数学ですか？

ID:zrAr/BQO
日本語書けないなら日本の掲示板に書くな

「パーフェクトイド＋凝縮数学＝プリズム幾何」？