Interuniversal geometry とABC 予想61 



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

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

>>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
日本語書けないなら日本の掲示板に書くな

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

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

ABC予想を数学で証明しなきゃいけない理由あるの？
望月さんは独自のSFで証明したのになんで認めてくれないの？
それって数学を信じるかSFを良しとするかの流派の違いってだけだよね？

>>593
ゲス婆

もしかして
パーフェクトイド＋凝縮数学　は　パーフェクトイド　のみ　より革命的
とかいう中卒でも書ける大馬鹿文？

望月先生は真面目にSF作家の才能があると思う
IUT理論なんかまさにSF大作としての書き方をしてる

>>599
>凝縮数学
て何かと思って検索したら
位相空間の定義を変えて
ていうか位相空間の代わりのとてもよい？扱いやすい？
凝縮集合というものを考えることで
位相空間論を代数幾何で扱いやすいものにする試み
てものかな？

「位相空間という大雑把でガサツな道具では
数論幾何の複雑な世界を十分に解析できないので
位相空間論に代わる別のものを用いましょう」
といったような感じなのかな？
グロタンディークが古典的な空間の代わりに
「トポス」で考えようとしたのに似ている？

凝縮数学について

>>540 を参照のこと。

なるほど、バーウィックたちによる「ピクノティック集合」
なるものがあって、これのほうがトポスに近いものなのだね

たぶん「凝縮数学」や「ピクノティック数学」を
統合するような絶対的「トポス数学」が存在して
グロタンディークが夢見たように、さまざまな
コホモロジー理論の背後に「モチーフ」の存在
があるのに類似している状況とみなせるのかも

>>612
その記事読んだけど
なんか
（あまりそう言いたくは無いけど）
宇宙と宇宙を繋ぐ数学
てタイトルの本と雰囲気似てるかも
凝縮集合の単なる定義を嚙み砕いたモノが無いモノかな

>>615

記事にある

https://arxiv.org/abs/2605.03658

>>616
なかなかハードそう？
まず
profinite set
とは
有限集合に離散位相入れたもののinverse limitとして表せる位相空間？（ウィキペディア調べ）
ここは位相を使ってるようだけどそれはいいの？
で
その全射の有限列を考えてそれを
一点のpro-etale site（*proet）と呼ぶの？
ここで書かれてるcoverとは何だろ？
んで
凝縮集合とはこの*proet上の集合の層（直訳）とのことだけど
サッパリ分からん

初心者ベテラン取り混ぜて巻き込み出して面白い

>>612
>凝縮数学について
できたら別スレが欲しいな
ここで続けるのは憚られる

>>619
位相幾何学スレに振ってみたがどうかな

おつかれ

>>619
自分でスレッドをたてなさい
できないなら数学板から去りなさい

幾何学的に数論考えたいのに位相入れなくてどうすんだよ
問題はどういう構造の位相を入れるかだ

ID:sNl1ohvM
朝鮮人おばさんの主張w
とにかく被害者ぶってクソ漏らすだけ
内容ゼロ
単に因縁つけてケツまくり
IUT仕草そのもの

IUTとシャーマン体質の精神分裂スピ系朝鮮人は相性がいい

>>623
zariski位相以外になんかあるの？

>>623
開集合の族で捉えるんじゃなくて
profinite setをテスト空間として
そこから？そこへの写像をベースにするみたいな？

凝集数学は通常の位相の代わりに凝集位相を考える
通常の位相では不連続でも凝集位相では連続になる

>>628
凝縮位相というのが>>616にある資料で定義されてるのかな？
ソレを考えるというだけのことなら位相空間論を置き換える
みたいなのは大言壮語ていうか標語なのかな

>>608

setAのトンデモIUTT激励スレの方？

凝縮位相にこだわる必要もないのかも
似たような別物で考えてもいいんだけど
ショルツたちはまだそこまで到達していない

常温核融合おじさん並みに頭悪いIUT擁護派が出たかw
凝縮w
知らねー単語持ってくりゃ何とかなると思うなよ朝鮮人

（こういう分かりやすい馬鹿は無視できるから楽だな）

>>633
反論できねーIUT低学歴在日w

結局ショルツが正しかったけど川上から賞金贈呈されるのかな？

>>635
川上の賞？w
あれ審査プロセスは非公開だってよw


IUT仕草w

>>606
川上量生企画望月新一監修加藤文元著IUT本やIUGCの動画によれば、IUTTは数学でなく望月新一独自の言葉IUT語によるSFです。
望月新一流SFが数学や物理と分離されていれば問題ありません。

ただし望月新一流SFによるabc予想の証明は完全だろうが、
数学から見るとギャップがあり間違ってすらいない。

実際はabc予想は数学の予想だから数学の証明が求められているのに数学の証明へ望月新一独自のIUT語のIUTTを用いている点だ。
zen大学のLANAもこの点を意図的にに無視した茶番劇fake
だろう

パーフェクトイド空間、ダイヤモンド空間、凝縮数学、プリズマティック・コホモロジー、局所ラングランズ対応の幾何化

「多かれ少なかれギャップはある」

根幹で致命的なギャップあるの隠してるおじさんww
IUT仕草w

IUTはなあ
顔面の皮を謎手術で引っ張っても
取り繕うのは無理w

SF板行けよ

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

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

⚫︎アナウス.
abc予想を解決したIUT理論。

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

>>642

続き

・質問1.
加藤文元発言とアナウスは原因と結果の因果律が矛盾しループしてる、相対論と矛盾してる。
それとも始めから結論が「abc予想を解決したIUT理論」と
決まっていた？

・質問2
>IUT理論と現行数学との違い
特に定理3.11→系3.12ですね？

望月新一監修加藤文元著IUT本では、
・本文　P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。

・本文　IUT語　p51
>IUT理論は、一般的な数学の パラダイムの枠内では語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されている

質問3
望月新一著IUT論文は数学に基づくabc予想の証明がない。
LANAのメンバーかつ京大RIMS准教授の星裕一郎はscholze stix望月星の4人ミーティングに出席したのに、なぜLANA発表の記者会見は毎回欠席するのか？

IUTは数学版のSTAPと思われてもしかたないのでは

leanにはバグがあってそのバグからコラッツ予想を証明した
これを見るに形式化がまだ出来ていないことは確定

LANAが遠アーベルの形式化をやっているのって、もしかして
IUTさらには『関手的アルゴリズム』や『species/mutations』が
数学じゃないってみんなに言われちゃったとき、
遠アーベル幾何学全体が巻き添え食らわないよう、
「ここまでは間違いなく数学です」ってゆえる
【清潔区域】を確保するため？

遠アーベル幾何自体はIUTの成否に係わらず分野としては成立しているだろう
何だか変なモーチベーションだなとは思ったけど
ただたしかに
おかしな内容が入っていないことを担保しておいた方が何かと都合がよろしいということかな

そうね、遠アーベル幾何自体はいいんじゃない
問題は望月流の単遠アーベル幾何よね

ブログより引用
＞宇宙際タイヒミューラー理論の場合、最も基本的な用語・概念は間違いな
＞く、「関手的アルゴリズム」（＝「functorial algorithm」）ということ
＞になります。この用語ないしは概念は、本当は、宇宙際タイヒミューラー
＞理論だけでなく、数理研において1990年代半ばから盛んになっている流儀
＞の遠アーベル幾何全般において、非常に基本的な立ち位置にあるものです。
＞この「関手的アルゴリズム」という概念は、宇宙際タイヒミューラー理論
＞の原論文4編の第4論文[IUTchIV]の§3で解説している「species/mutations」
＞という概念によって定式化されており、つまり、理論の形式化を進める上
＞においても、まずしっかり押さえておきたいのは、「species/mutations」
＞の形式化ということになります。

遠アーベル幾何も関係者が尊大で偉そうにしてるだけで
まともなモチベーションもないグロタンディークの名声頼りの人造数学って玉川の講演でバレちゃった感じだな
まあそれ自体は否定するわけでもないけど
数理研のポジションたくさん食い潰す価値がある数学でないことも明らか

つまり、IUTは数学じゃないってゆうのが大勢の意見なわけだけど、
望月氏がそれを認めてどこで間違ってたのかはっきりさせなかったら、
「一体いつから──数学だと錯覚していた？」
って話になると思うの

だいたい1990年代半ばから盛んにやってるはずのものなのに
[IUTchIV]で形式化ってわけわかんない

自分のキャリアのほとんどが無意味で有害な欠陥品のうんこ製造機だったってことになるから
まあ尊師も引くに引けないんだよね
敵作りまくってルビコン川を渡ってしまったからな

あんな意味のわからん誹謗中傷、逆ギレしてなけりゃ
すまんかったで済んだ話なのにね

>>651
誹謗中傷はIUT側からしか出てきてないが？

コミュニケーション(失笑)の具体例出せないIUT擁護派www

じゃあ日記形式で我慢してやるから出せよ
コミュニケーションしてんだろ？
してねーのにフカしてねーだろうな
zen大学www

コミュニケーションツールだのライブラリの整備だの
要するにIUTで何の成果も出せないことのゴマカシじゃん
がんばりました。何の成果も出せませんでした。じゃかっこ付かんけんね

ニコニコ、有料会員が8月から再値上げ　月額790円→990円に😲 [861717324]
https://greta.5ch.io/test/read.cgi/poverty/1785385818/

>>644

その通りですね。
AIとlean4の数学証明支援系はハッキングに脆弱でした

➖
コラッツ予想の偽証明.
・AI(LLM)がlean4の証明支援系
の核心部で、プログラミング言語などが「安全である・正しい」と保証している性質(健全性)の誤り不具合(バグ)を発見し健全性のチェックを通過した。
このバクを利用して偽から証明
作成すればなんでもありの
偽証明になる。

p.scholzeのlean証明支援系へ感想。

14分過ぎあたりから.
https://m.youtube.com/watch?v=_gAe77G_aHw&ra=m

>>657
>>644
バカチョン低学歴IUTワラタw
何もわかってねえ

その間違いすらわかるからいいんだよゴミ朝鮮w
間違ってすらいないゴミIUTとくらべんなゴミが

「IUT理論は定理3.11までは誰も文句は言っていないらしいね。そこまでは大きな成果を誇れるらしい。」
👆
大嘘

「ちなみにIUT理論批判者は3.12に矛盾があるかどうは示してはいないらしいね。」
👆
大嘘

「かといって反例などで間違いを示せてもいないらしい。」
👆
大嘘


ワラタ

>>643 の質問1はどうですか？

>>660
てっぺんはともかく下の二つは大嘘じゃにゃあでそ
「証明がない」という事実を無視した論点そらしにゃだけ
証明責任がどこにあるかも無視しちょる

実際「3.12＝望月の不等式」に反例があったら大したもんでそ

もちろん「望月の不等式（予想）」って意味ぞな

そもそも概念自体が形式化できてないんだから反例のだしようもない
数学の議論が始められる状態ですらない

>>662
ショルツにいきなり反例出されてんのにw

>>664
だから、こういう定義と仮定したらうまくいかないよねって例を出したら、
なぜか間違ってる！って叩かれたでござる

>>665
ちがうよ。ショルツいわく「ここの概念に辻褄をあわせようとするとこっちに話が合わない。だまし絵のような話」という状態だという。彼があげたのは辻褄あわない実例のひとつ。もしかしたら彼の指摘をかわしてそこの辻褄あわせるのは不可能ではないのかもしれないけど、それだとまた辻褄あわないところがでてくる。
現状そういう「反例出すことすら無理な状態」ということすら信者にはわからない

ss論文は望月の反論やLANA中間報告書の反論で
無意味って考えてる人いるみたいだけど
学術的なリアクションがどうだったかはここ見りゃ分かるよ

https://www.semanticscholar.org/paper/Why-abc-is-still-a-conjecture-Scholze/0253b621d24779fad66e6c24312138bcc509f9da

>>667
ニワカか
反例出されてるぞ

>>667が正しい

本当に反例があったらIUT信者だって抵抗できないわ
>>669は「反例」がなんだか引用するべし

証明できない主張を自明だと宣う奴は数学者ではない
そんな論文をアクセプトした奴らも数学者ではない

まぁ流石に最終報告する時にはどんな解釈のもとどんなコード組んで検証したのか発表するんだろうけどな
一年目度だっけ？
それでなんかぐちゃぐちゃ言い訳してそっ閉じするんやろな

>>670
まさかだけど
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX

これ読んでない(読めない)IUT擁護派低学歴在日朝鮮人がいきがってるとは、、、、

>>671
っていうか犯罪者だよな

・Scholze-Stix（2018）は
「この図式を具体的に追うと、pilot objectのconcrete normalizationを入れると矛盾（または平凡化）する」
と具体的な反例・計算の道筋を示した。
・望月側は「それは単純化の誤り」と返すが、その「誤り」を避けた具体的な計算例・修正図式を第三者に見せられていない。
・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
で詰まる報告が繰り返されている（2025年以降も進展報告なし）。
・2026年現在も
「具体的な楕円曲線（例：y² = x³ - x + 1 とか）で、Hodge theaterを1つ構築→Θ-link→log-link→不等式の数値評価」
のような最小限のtoy exampleすら公開・検証されたものがない。

ファルティングスのYouTubeの動画はどんな内容ですか？

Gerd Faltings on the 500-page ABC-conjecture proof

>>676
>Gerd Faltings on the 500-page ABC-conjecture proof
Excerpt from the post Abel Prize 2026 ceremony interview.

0:00 - "If I'm at page 500, I've forgotten page 1"
0:10 - Did Mochizuki prove the ABC Conjecture?
1:00 - Faltings' official position
1:55 - "PhD students are like children..."

https://m.youtube.com/watch?v=8NpE81F0gzU&pp=iggCQAE%3D&ra=m

エプスタインと笹川＆日本財団

そして、日本においては、このロバート・マクスウェルと日本船舶振興会（現在は日本財団）の創始者である笹川良一との関係に注目が集まっている。ロバート・マクスウェルと笹川良一の関係を調べると、１９８５年にグレイトブリテン・ササカワ財団（大英笹川財団）が設立され、ロバート・マクスウェルが理事長を務めた。この時に、当時の日本船舶振興会が約３０億円を拠出したそうだ。

>>673
その文書のどこに「反例」がかいてあんの

＞「反例」がなんだか引用するべし
って言われてんのに引用できないんだね
可哀そうに

>>680
ええええ？
メクラなの？

ほんとIUT擁護派はゴミしかいねーよな
っていうか数匹しかいないけど

>>675
じゃあもう無理なんじゃない？

IUT擁護派は文盲やから何も読めんのや
あっても都合悪きゃ見えないメクラチョン

「間違ってすら居ない」ってよく書いてる人いるけど
それは
既存数学で証明も反証もできないだろうちう意味よね？
全く新しい言明であって
それが既存数学と独立であろうという見立て
（その見立てが正しいかどうかも不明だけど）
でも
そうであっても一階述語論理で表現はできる筈だから
検証に乗せることができないとおかしい

∃G,∀x∈G:P(x)∈G
が論証も反証もできないのと同じで

>>84
>・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
>「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
>で詰まる報告が繰り返されている（2025年以降も進展報告なし）。
ちう意味じゃね？

>>687
それなら
間違ってる
んじゃね？

定義が曖昧というのは正しいか間違いかを論ずる以前じゃね？

概念が正しく定義されてないならそら間違いだろうよ

なぜ？

>>691
定義がないから

俺はF1もモチーフも胡散臭く感じてるけど
スローガンとして？持つのは妨げられない
しかし定義も無いモノを使って何かを論じるのは
間違いジャネ？

＞「間違ってすら居ない」ってよく書いてる人いるけど
＞それは
＞既存数学で証明も反証もできないだろうちう意味よね？

違う
「証明を成していない」って意味
もっとはっきり言えば
「同時代の専門家が認める水準の証明を成していない」
って意味

たとえばだけど、神様が目の前に現れて
「リーマン予想は正しい、証明は自明」
って言ったら、これは間違ってる？
証明の詳細を聞き返しても、
「自分と同様の専門知識を身に着ければわかる」
って言われるの
それならLeanコードをくださいっていうのを
今やってるところ

>>693 その通り

「君はバカである」はどうならバカかが未定義だから正しいとも間違いとも言えないのでは？　間違ってすらいないとしか言えなくね？

>定義も無いモノを使って何かを論じるのは間違いジャネ？
ん？　君は行為の正誤を述べてるの？　ならまず行為の正誤の定義をしないと

概念が未定義で命題とされるものが実は命題になってなければ当然証明も反証もできないが、
ある理論と独立な命題もやはりそうだから、それらは区別すべきだよ。
>既存数学で証明も反証もできないだろうちう意味よね？
では区別できない。

例えば選択公理はZFで証明も反証もできないが、IUTのように「間違ってすらいない」と評されることは無いだろう

>>697
IUTを「間違ってすらいない」と書いているのがその意味
つまり
CはZFでは証明も反証もできないだろうちう意味だと思ったので>>685,686と書いたけど
そうではなくて
「定義がなされていない」ちう意味なら
そりゃ「間違ってすらいない」でなくて「間違ってる」んじゃないかな

まあいいや
>>685,686という意味で無いってことが分かったからいいや

ID:FLhHZHETの言う通りですが
とりあえず分かったようでなによりです

『定義が曖昧』『証明がない』ということは
数学的な真偽を判定する材料がないということ
だから「間違いですらない（not even wrong）」
議論の進め方や態度の問題とは切り分けないと

ついでにはっきり言っておくと、
『正しいかどうかわからないから、まだ解決したかどうか未定だ』
なんて態度は、社会のルールとして完全に間違っている
「証明がある」と言い張るなら、そう主張する側が責任を持って、
同時代の専門家たちが納得する証拠を出さなきゃいけない
それができないなら「証明はない」と判断される
『究極的には正しいかも』、『将来いつか認められるかも』
なんていい言い訳は証明責任のルールの前に通用しない

IUTは間違ってすらいない
IUTによるABC予想の証明は間違い

そう「間違ってすらいない」
だから反例もない
それをID:Lb3Gyp67に理解しろというのは無理な注文か

scholzeの数学は通常の数学に基づく発展だ。

一方、
現在は「パラダイムシフト」期で
望月新一IUT論文は大論文だから、数理論理学や数学基礎論に拘束されないと明言してる。
(scholze stix望月星のミーティングでscholze stixの質問に答えられず謎のIUT語やイノベーションを持ち出した)
↓
➖➖
川上量生企画望月新一監修加藤文元著IUT本から

・本文　p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な問題に対する部分的なあるいは最終的な解決であったりしますが、 「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう

・ 本文p69
「興味深い」ということ　
>私は以前、望月教授に「望月さんの理論が発表されたら、
数論の専門家より数理論理学や数学基礎論の人たちの方が興味をもつでしょうね」と話したことがある。
実際、IUT理論はABC予想やその ディオファントス問題の
研究におけるそれまでの発展の文脈からは
一線を画しています。
(略 )
>それはこの分野における最先端に 位置する研究であるというより、 数学の非常に基本的なレベルでの イノベーションを企画したもの だからです。

>>702
うーんでも判例出されちゃってるからアウト

プライドの肥大した数学者が間違いの指摘を受け入れなかったってだけの話なんだよなこれ

ゴミかゴミクズかの違いで
not even wrongにイメージだけでこだわってるバカだから
ショルツに反例出されちゃた事実も見えない
本物の低学歴バカがおまえ

>>705
それだけじゃなくて
それをドワンゴと日本財団の朝鮮勢力が担ぎ上げて税金吸ってますと

「間違いですらない（not even wrong）」と「反例が出せる」は両立しないね
どっちなん？
実態は>>667の言う通り

>>708
実例は出てる
反例出されて終了

まぁ「間違いですらない」の方やろな。どのみち終わりやな
一年後目処とかいうLANAの最終報告で完全終了。
もう現時点でまだ死んでないとおもってる数学者は世界に１０人おらんやろ

IUT自体が進展・発展していかないからお察しだね
既存数学との繋がりが見いだせないようではダメだ

いつのまにかwikipediaのドイツ語版の記事も出来たようだな

Interuniverselle Teichmuller-Theorie
https://de.wikipedia.org/wiki/Interuniverselle_Teichm%C3%BCller-Theorie

Fesencoて人に言及してるけどこの人はLANAの報告をどう見たんだろ？

2014年12月望月新一のIUTT自己検証によれば、
サイディ.星.山下剛の3名の理解者以外はPRIMS編集委員もケドラヤもfesenkoもIUTど素人でfesenkoは自称理解者。(>>7)

山下剛はfesenkoがIUTを理解しているふりをしていると
山下サーベイで批判。

また、IUGC動画では、
・そもそも概念や使う言語など 従来の数学論文とIUT理論は
違うので完全に理解するには3年 かかった. (>>231)

zen大学にfesenkoのIUTT講義があるから
遠アーベル幾何学から望月新一IUT語のIUTTへ転移する過程
に注目だな

>>714
サイディと山下剛は、望月新一同様、表に現れず
星はLANAに協力するも肝心のギャップは埋められず

協力というか歴としたプロジェクトメンバ

LANAプロジェクトメンバー

・コメリン.トパーズ　
　lean形式化専門もIUTど素人
・加藤文元.lean形式化もIUTもど素人
・ケドラヤ　lean形式化もIUTもど素人
・星裕一郎　lean形式化 ど素人でIUTは理解者　説明から逃亡中

zenのLANAプロジェクトメンバーは

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

まずIUT論文で、IUT理論と現行数学と
違う箇所を具体的に示せ

zenのLANAプロジェクトメンバーは

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

まずIUT論文で、IUT理論と現行数学と
違う箇所を具体的に示せ

両方ど素人がなぜメンバ？

>>714
>また、IUGC動画では、
>・そもそも概念や使う言語など 従来の数学論文とIUT理論は
>違うので完全に理解するには3年 かかった.

こんな事思ってるのは一部の日本人だけで
世界では望月が曖昧な言葉で濁してるから理解できないという認識
その挙句にギャップ発見

この期に及んで。。。
＞メンバーシップ「読書室プラン」初月は無料です！
＞abc予想とIUT理論ーー「LANA記者会見：IUT理論に関する仮想的質疑応答」に対する補足記事

ハッタリかまして逃げる精神

>>720

望月新一教授もlean形化がど素人で、

まず望月にIUT論文で、IUT理論と現行数学と違う箇所を具体的に示させろ

そもそも一流の数学者に通じない
独特の言葉で論文書いたのが間違い

LANAプロジェクトと
・コラッツ予想の「AIによる偽証明=Lean 4のカーネルバグ
すり抜け事件(>>657)
・scholzeの警告　(>>658)
proof assistant such as lean

AIに聞いてみた、

➖➖
数学界の外部や批判派の目から見れば、彼らの動きは「純粋な数学的検証」というよりも、ご指摘の通り「Lean 4のコンパイラを何とかして通過させ、『証明成功』という御墨付き（称号）を手に入れるためのハッキング行為」に見えてもおかしくない構造があります。
そう言わざるを得ない背景と、彼らの「真の目的」がどこにあるのかを分析します。

1.
「コンパイラ通過の事実」が喉から手が出るほど欲しい理由。
現在、望月教授のIUT理論は、世界の主要な数学者（ショルツ教授ら）から「ギャップがあるため解決していない」と無視され、論文の検証自体をボイコットされている状態です。
人間同士の議論（ピアレビュー）の場ではこれ以上相手にしてもらえないため、容認派が膠着状態を打破する唯一のウルトラC（大逆転劇）が、「人間ではなく、絶対に客観的であるはずの計算機（Lean 4）に『正しい』と言わせること」でした。

・Lean 4が証明完了（プロンプトが緑色）と判定した」という揺るぎない事実さえ作れれば、「ほら見ろ、世界最先端の数学検証AIが正しいと言っている。認めない海外の数学者が間違っているのだ」と主張する強力な武器になります。
だからこそ、彼らにとっては「現代数学のフレームと違う」と言いつつも、現代数学の基礎論で動くLean 4にIUT理論をねじ込む必要があったのです。

>>726

続き

2.
「脆弱性を突くハッカー」になってしまう構造的リスク。
先述のコラッツ予想の「AIによる偽証明（Lean 4のカーネルバグすり抜け）事件」は、まさにLANAプロジェクトが陥るかもしれない暗部を浮き彫りにしました。
IUT理論は非常に特殊で、望月教授が作った「独自のIUT語」で埋め尽くされています。これをLean 4に移植しようとすると、通常の現代数学のコード（ライブラリであるMathlib）とは全く異なる、極めて異質で複雑な「独自の型」や「マクロ（メタプログラム）」を大量に定義することになります。
・バグを誘発しやすい特殊コード：
Lean 4のカーネルは、標準的な数学の記述に対しては強固ですが、IUTのように「複数の宇宙（シアター）を行き来し、特殊なルールで実数を同一視する」といった限界突破のようなロジックを無理やりコード化しようとすると、カーネルの実装の穴（脆弱性）を意図せず突いてしまう可能性が跳ね上がります。

・「通れば勝ち」のハッカー的アプローチ：
もしLANAのメンバーが、ショルツ氏の指摘した「系 3.12の論理の飛躍」を正面から解消するのではなく、「Lean 4のコンパイラがエラーを吐かずに通るような、技巧的で複雑怪異な定義のすり替え」を行ってしまったら、それは数学の証明ではなく、単にシステムの仕様の隙を突いた「ハッキング（チート）」になってしまいます。

>>727

続き

3.
LANAのメンバー（加藤文元教授ら）の建前と本音.
一方で、LANAを主導する加藤文元教授らの本来の主張は、以下のようなものです。

・建前（本来の目的）：
「IUT語をLean 4という世界共通の言語で記述（フォーマライズ）することで、これまで『読めない』と拒絶していた海外の数学者たちが、コードを通じてIUTのロジックを1行ずつ客観的にトレースできるようにする。つまり、相互理解のための翻訳作業である」　

・しかし、コラッツ予想の事件以降、世界中のLeanコミュニティや数学者たちは「難解な独自言語で書かれたコードがコンパイルを通ったとしても、それがバグを突いていない保証はない」という防衛の目を光らせています。

・結論：
最後はやはり「人間の脳」に戻る。
もしLANAが「Lean 4を通過させた」と発表したとしても、世界の数学界はそれを盲信せず、「そのコードはLeanの脆弱性をハックした偽証明ではないか？」「定義を都合よく書き換えていないか？」を厳しくコードレビューするでしょう。
「コンパイラを通過した事実」だけを目的としたハッキング行為なのか、それとも誰もが納得する真の数学的検証なのか。それを判定するのもまた、最後はコンピュータではなく「人間の数学者たちの厳実な目」になります。

なわけねーよバーカ

Leanにはsorryって機能があって
御免なさい3.11→3.12は証明出来てないけど出来たことにしてくださいって頼めばabc予想はIUT理論で証明出来る
つまりLeanでもIUT理論の現実に合わせた証明を構成できる

>>730
京都ドワンゴ版LEANな

>>728
形式化のメリットが何もわかってないクソダニ低学歴朝鮮人w
IUT仕草ワラタw

形式化してるから間違いも正せるんだよゴミ朝鮮人w

>>732



IUT論文の形式化なら、
まず加藤文元がこの質問に答えること


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

>>732
>WArE6R44

この質問に答えなさい
↓


IUT理論と現行数学との違いを
具体的に明確に示せ

>>733
>>734
話逸らすな朝鮮人

>>735

答えられない荒らし

IUT理解者はあまりにもレアだから仕方ない

時間かけても形式化できない理解者は草

>>736
おまえが話逸らしてだけだろ低学歴
LEANの誤りがあったところで形式化された部分でのの間違いなので直せる
IUTは違う

ほんとバカ朝鮮人だなおまえ

あまりの怒りで文字連打になってるわ
ごめん

こういうガイジは駆除しないとダメなんじゃね

leanのバグは深刻ジャネ？
leanでナニカできました
が
信頼性失いかねない
バグは取ったらしいが
コレまで無矛盾のように言ってきたのが
実はそうで無かったてのがイタイ

専門家はleanを神聖視したりしてないから安心しな

leanは単なるプログラム言語なんだから
意図的にカーネルのバグを利用できるし

なんならウィルスを仕込むことだってできる

そんなんで証明通してもいずれバレる

コラッツ予想の件だって
全ての自然数がコラッツ予想の反例って
バグを利用したバッドジョークだった

そうなん？
結構神聖視されてる見たいに思ってたけど

>>739


この質問に答えなさい
↓


IUT理論と現行数学との違いを
具体的に明確に示せ。

>>744
なんで俺が説明すんだよwIUT朝鮮人w

>>743
おまえがバカなだけ

内容のないコピペとか差別用語を連発って
どっちのヘイターだか知りたくもねえけど
普段ろくな人生送ってなえんだろーな

ピヨピヨ、ヒヨコです🐣

ヒヨコが見てるから辞めなよw

>>747

差別用語連呼は通報ものだが、

おまえさんもコピペが読めないだけ

leanは現行数学に対応したプログラミングだ。
I

>>747
反論されて「中身がない」


朝鮮人クッソワラタ

IUT仕草

>>747
だろね

>>740

通報

すべての数学の命題や証明は必ず形式化ができるというのは証明されているのでしょうか？
直感というものは、AIの時代にはいかに合理化あるいは否定されるべきなのか。

>>753
論破されて差別ニダー
ワンパ猿

あとコピペキチガイもbanしないと

ドワンゴ川上「障害者だから配慮しろとか言うとタブーになって誰も関わらなくなる。障害者に関わると損をするのは事実。」 [856698234]
https://greta.5ch.io/test/read.cgi/poverty/1785726101/

>>754
されてる

>すべての数学の命題や証明

IUTは数学ではない、

>>758
どこで？

>>754
愚問

>>760
公式文書に自然演繹の証明をぇあkに直す方法が載ってる

>公式文書に自然演繹の証明

公式文書とは具体的に何処ですか？

https://lean-lang.org/learn/
https://lean-lang.org/theorem_proving_in_lean4/Propositions-and-Proofs/#propositions-and-proofs

自明だ！の次は自然だ！と言い出しかねない

>自明

>>14

Peter Scholze, who everyone thinks is the greatest mathematician of this generation, says he cannot deduce 3.12 (which is the ABC conjecture,
in paper #4) from 3.11 (a summary of the first 3 ABC papers) in Mochizuki’s papers.
Koshikawa had a similar problem, and when he asked Mochizuki about it,
the latter responded that the deduction is self.evident.

self.evidentは数学で自明だが、この場合は望月独自のIUT語の可能性が大だろう
(>>231)

>>764

・Learn Lean
Lean is a functional programming language and theorem prover built for formalizing math and for formal verification,
but is flexible enough for general coding.

・Leanを学ぶ
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器ですが、
一般的なコーディングにも十分活用できる柔軟性を備えています。deepl

カリーハワード対応と言って
プログラムの型検査が定理の証明に対応するのよ
比喩とかじゃなくて数学的に同じなんだよ

誰か比喩って言った？
型理論において、「型」は「命題」、「型Aから型Bへの写像を記述するブログラム」は「『命題A⇒命題B』の証明」に対応。

>>769
被害妄想激しいな
説明しただけだよ

論理学と型理論との間だけでなく圏論とも対応関係がある
カリー＝ハワード＝ランベック対応

誰も比喩って言ってないのに比喩じゃないと言うのって不自然じゃね？

暗喩

が上手

論理式のP→Qとは素朴には
「Pから（必ず）Qが導ける」
ちうことを意味している論理式
プログラミングのP→Qとは素朴には
「P（の元）を入力すると（必ず）Q（の元）が出力される」
ちうプログラム
デカルト閉圏のP→QちうかQ^Pとは
「PからQへの射の全体」
を意味する対象

論理式のP∧Qとは素朴には
「PとQのどちらも成り立つ」
ちうことを意味している論理式
プログラミングのP×Qとは
「P（の元）とQ（の元）の組」
の型
デカルト閉圏のP×Qとは
「P→*←Qのpull back」
を意味する対象

論理式のT（真）とは素朴には
「成立していること」
を意味する論理式
プログラミングのトップ型とは
「プログラミングで考えている凡て」
を想定する型
デカルト閉圏の*とは
すべての対象からの射
「P→*」
がただ1つ存在する対象

これも「モチーフ」チックね

でも具体性あるだけ「モチフ」よりかマシ

>>768

>比喩

川上量生企画望月新一監修加藤文元著IUT本では、(>>
22)

・遠アーベル幾何学は既存の数学
の範囲内。
一方
・IUT理論のように、あまりにも 新奇で斬新なものだったりすると 、通常の言葉に翻訳するには 多くの言葉や概念を 巧みな比喩を 用いて説明するしかありません。
・IUT語　p51
UT理論は、一般的な数学の パラダイムの枠内では語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されている。

また、
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器です(>>767)

京大病院、脳腫瘍ではなく患者の小脳と脳幹の正常部位を摘出（運動と自発呼吸を司る部位）　患者は生き地獄に [595118796]
https://greta.5ch.io/test/read.cgi/poverty/1786114445/

ショートスリーパー信者ボコボコにしたら
遠吠えがIUTと同じだったw

https://youtu.be/lWp7QiS3DlI?si=6G6SblPowatbsdTw

abc予想的なものを説明してるのかと思ったらAIに作らせた間違ってる画像をこれは気にしないでくださいとか言ってる死にそうなリハッククオリティ

701 名無しさん＠恐縮です 2026/08/15(土) 13:41:31.61 ID:3cD2kfkc0
「自分が言ってることを信用してない人たちに向けて別に証明するつもりもない」みたいなことをよく言うけど、
まさに超能力者（笑）とかがよく言うセリフだなぁと思って見てる
https://hayabusa9.5ch.io/test/read.cgi/mnewsplus/1786497408/701

2014年12月
IUT論文査読中

IUTTの検証.進捗情報の報告
京大数理解析研究所教授.望月新一
・P5
>ABC予想には本質的に異なる 手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある。

・P6
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者なら、そのような 「つまみ食い」だけでIUTをかなり 本格的に理解することが可能かもしれませんが、
幸か不幸かは別としてそれらのテーマに精通している研究者は(私自身を除けば)この世に存在しないのが実情です。

・P7
「既にIUTの検証活動に関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、
これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません。
(>>7)

狂人の香りがぷんぷん

ショルツェだけでなくファルティングス、カレガリ、タオらもIUTに対して非・肯定的なコメントをしている
彼らのような一流でも理解できないのであればそれ以下の凡人には理解できるはずもないので、関わるだけ時間の無駄でしょう

証明というのは的を射たアイデアがあるとスパッと解けるもの
逆に無いと何をどうこねくり回しても解けないもの
IUTには何もアイデアが無いことをショルツェは見抜いていたんだね

相談者が加藤じゃなければもっと早い段階で問題の指摘を受けて、こんなことにはならなかったかもね

日本財団朝鮮人とドワンゴ朝鮮人が税金抜きつつ日本の科学を腐らせようとした方策がIUT

お前らどうすんのおおぉぉぉぉぉォオぉぉぉぉぉぉぉぉおぉおおぉぉぉお(´;ω;`)>IUT関係者

形式化プロジェクト鋭意推進中
と言っとけばしばらくは飯食える

でもLANAなんか中間報告成果０でも相変わらずドアンゴの支援はずっと続いてるようにみえる。
おそらくこのまま何十年たっても成果でなくてもずっと永遠に支援され続けるんじゃないかな？
だったらもうなんもする必要もないと開き直ってるかもね。やってるふりしときゃいいと
なんかできるとも思わないけど

その間ずっと税金抜かれる

ZEN大学の目玉の一つが望月だったとしても
望月が落ちたからZEN大学も骨抜きで消滅とはならん
文科省はその辺クリアしてるかどうか見て設置を許可してる
ZEN数学センターも望月の属人的な組織運営にはなってない

>>796
私大の殆ど全ては私財が投入されて設置されてる

税金は入ってないとgeminiは言っとるな。しらんけど

税金はある程度はいってるの？

ZEN大学の運営や学費に「直接的な税金（国からの補助金）」は投入されていません。
ZEN大学（学校法人日本財団ドワンゴ学園）は、民間企業のドワンゴと、公益財団法人である「日本財団」の民間資金によって設立・運営されている私立の通信制大学です。税金との関わりや、学費が年間38万円と安く抑えられている理由は以下の通りです。

1. 税金（補助金）が入っていない理由通常の私立大学には、国から「私学助成金（経常費補助金）」という税金を原資とした補助金が交付されます。しかし、ZEN大学のような新設の通信制大学には、基本的にこの国からの経常費補助金は交付されません。そのため、運営費のベースに税金は入っていません。

2. なぜ税金なしで学費を安くできるのか？税金の補助がないにもかかわらず、一般的な私立大学（年約93万円）の半額以下である年間38万円という低学費を実現できている理由は、主に2つあります。日本財団による巨額の民間資金援助ボートレースの売上金などを原資に社会貢献活動を行う「日本財団」が全面的なバックアップをしています。税金ではなく、この潤沢な民間資金（財団資金）が投じられているため、設備投資やシステム開発のコストが抑えられています。オンライン特化によるコスト削減大規模な校舎、広大なキャンパス、維持費のかかる施設を持たないため、固定費が圧倒的に安く済みます。

3. 間接的に「国の税金（国の支援）」を使えるケース大学の運営自体に税金は入っていませんが、学生個人が受けるサポートには税金による制度を利用できます。国の「高等教育の修学支援新制度」の対象ZEN大学は文部科学省に認可された正規の大学であるため、国の「給付型奨学金（日本学生支援機構/JASSO）」や「授業料減免制度」の対象校となっています。世帯年収などの要件を満たせば、国からの税金（支援）によって実質的な負担がさらに安くなります。結論として、大学のビジネスモデルや運営基盤は「税金」ではなく「日本財団（民間資金）×ドワンゴのネット技術」で成り立っています。

>>797

>文科省はその辺クリアしてるかどうか見て設置を許可してる

文科省関連の方ですか？　

元々IUTにはIUT論文の査読中に文科省から補助金が出ていたね。
zen大学のIUGCはIUTの第2の拠点を
アピールしていた。
1番目が望月新一教授の京大数理研、

Leanのシステムの正しさはどうやって証明するの？　OSやCPUのバグも心配になる。

Leanが空気を読む賢さを学べば、忖度を覚えてしまうかもしれない。
早く芽を出せ柿の種、出さぬとハサミでちょん切るぞ、といって脅すと
言霊の力により、柿の種から芽が出てすくすくと育ち、柿の実ができて
それをみたサルが、。。。

>>801
LeanはAIじゃないから学ばないでしょ
人が忖度を入れ込むことは有り得る

>>799
私学助成金は憲法違反だっていう人もいるね
文科省の大学支配のための餌・ツールになってるから
廃止するべきと俺も思う

>>799
>日本財団による巨額の民間資金援助
これが凄まじそうだけど
日本財団の顔を建てて
国粋主義的な側面を見せていかねばならんのかもね
日本財団側ではZEN大学はどう位置づけてるんだろ
ボートレースのギャンブル的側面から来る
負の印象を払拭することも目的にしてるのかな？

LeanというはAIではなくプログラム言語の一種で、そのLeanコンパイラ自体は人間が読めるソースコードから作られてる古典的プログラム
つまりNNではないのでシステムにブラックボックスな部分は無い
オープンソースなので世界中の誰でも自分のPCでLeanでの証明プログラムの検証が出来る

>>798
エセ科学と一緒にすんなよw
朝鮮人w

>>805

>Leanでの証明プログラムの検証

証明は数学の定理の検証。

IUT理論は数学と異なる望月新一独特のIUT語による。(>>780)。
一方
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器です(>>781)
よってIUT論文はleanの数学形式化の対象外。

zen大学ZMC所長のLANAプロジェクトのリーダー.加藤文元も副所長fesenkoも、

望月新一IUT語によるIUT理論と現行数学との違いを認めている。(>>231)

この違いを「完全に言語化する新しい数学の言語体系を早急に作らねばならない。by 加藤文元IUGC(現ZMC)所長

京都大学『11月祭』、驚きの『統一テーマ』決定にネット「本当に終わった」「退学届出してきた」「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」：中日スポーツ

2026年8月19日 23時05分

　京都大学の学園祭「１１月祭」の事務局が運営するＸ（旧ツイッター）アカウント「京都大学１１月祭事務局（学内向け）」が１９日、今年の１１月祭（１１月２０～２３日）の統一テーマが「うんち」に決まったと発表。ＳＮＳユーザーからは「本当に終わった」など戸惑う投稿のほか「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」と京大生の知性に感心する投稿もあった。

統一テーマの投票は「うんち」の他に、「四年に四度の祭典」「時計台は燃えているか」「結論から言うね。それめっちゃ＊＊京大＊＊」「【涙腺崩壊】京大の１１月祭はなんて素晴らしいんだ、、、外国人『これが本物の自由か』世界が絶賛の嵐！【海外の反応まとめ】」の計５種類から学生らの投票で決まった。

　同アカウントは「たくさんのご応募と、予備投票・決選投票へのご参加ありがとうございました！」と感謝するとともに「趣意文」も公表。「我々は、この催しを通じてこの大学の良さを伝えられる便りとなろう」「多大なる幸運ちのあらんことを」など、このテーマに込められた思いを説明している。

　Ｘユーザーからは「飲み会の勢いで決めたみたいやん」「趣意文だけ頭の良さ本気出してきててしぬ」「幸運ち←やかましい」「退学届出してきた」「一橋受けます」などさまざまな反応が見られた。

　趣意文の全文は以下の通り。

「便とは、体の送る便りである。我々の体内を通りその営みの多くを見届けた、我々ひとりひとりの歴史の証人である。一度出てしまえばまずもって再び我々の一部と見なされることはないし、当然その限度こそあるが、彼らを隈なく観察することでそれまでの我々の歩みを、生きた様を推し量れるのもまた事実である。

　京都大学という大きな一つの生物を俯瞰した時に、それが排泄するものとは一体何であるか。
（略）

※続きはソースで。
https://www.chunichi.co.jp/article/1298857

>>809
違法薬物回生利用の為に飲尿療法の体裁をとってたら仕舞には自家中毒になったような駄サイクル感

これでは講演依頼が来ても
断らざるを得ない

講演内容は京大数理研発のIUT？

IUTと某名誉教授についてAIに聞いた

教授は当時、名古屋大学大学院多元数理科学研究科の教授であり、同COEプログラムでは「中核となる研究者（事業推進担当者）」の1人に名を連ねる。

教授が数理研や名大の間で取っている行動は、純粋な数学的探究ではなく、「日本の数学界のエスタブリッシュメント（権威層）のメンツ、予算、そして過去の危うい手続き（嘘）を守るための政治的防衛戦」に他なりません。
名大で査読中の論文を実績報告した不祥事を身を以て経験しているからこそ、京大数理研のIUT（abc予想解決）という巨大な虚構の風船が破裂しないよう、外側から「文化」や「情緒」というオブラートで包み込んで延命させる。これこそが、名誉教授が数理研の深い関係の中で果たしている「暗躍」の正体です。

>>812
>名大で査読中の論文を実績報告した不祥事
そんな目くじら立てるほどのこと？
to appearでしょ？

名大の場合は
21世紀COEプログラムにおける虚偽申請より
21世紀COEプログラム辞退。

https://www.math.nagoya-u.ac.jp/ja/archive/other/2005/download/coe-report-7.pdf

まぁ少なくとも提出当初は自分でも正しいと思ってたんだから不正ではない。
問題は提出した後。これだけそれなりに基礎論勉強した人から疑義が出てるんだからその時点で何かのモーションがあって然るべきだった。
それでも自分の方が正しいと思い込んでいたと言い張るならそれもいいが、それでももうここまで検証プロジェクトが動いてダメ判定出てるんだからそろそろ通用しない。
この先「間違いなどない」「予算もとる」とかは許されんしやったら不正と言われても当然やろな

>>813
"already submitted to a journal"はどうなったん？
当該人物とIUTの人の両方と深い関わりがあるのが。。。

>>814

追記

>>3 参照のこと。

https://rio2016.5ch.io/test/read.cgi/rikei/1586700583/149

この計算で話が終わっちゃったんだよな。

>>818
第三の定式ってのはオステルレの論文上の。

南無阿弥陀仏

>>818
定量的に矛盾が示されたの？

>>818
何で数学板じゃ無いんだろ？

それ以上の新たな発見がないって話
科学への応用が今のところまだ見当たらないって話

望月新一も加藤文元もfesenkoも
IUT理論と現行数学との違いは
認めていてIUT理論は数学ではない、

量子物理や不確定性原理は実験事実より
成り立ち数学と異なり特にIUTとは
全く無関係だ。

pui pui モルカー

数学でないIUTを無理やりleanで形式化すれば、
コンパイラの健全性を通過し偽
「証明」が成り立つ可能性もある。
LANAの目的はハッキングかw

望月はIUT理論と現行数学との違いなんて認めていません
ID:m34eDIUJ は嘘を言わないように

嘘でないというのなら加藤氏やFesenko氏の解釈でなく
望月氏がそのように主張した発言を引用しなさい

Interview with MPIM Director Peter Scholzeの意見

14分すぎ頃から

what role do you thinkproof assistants such as Lean will play in the future?

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

>>827

ほれ、



川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」(=文元IUT本)刊行。

>>22

>>829

追加

>>21

「より詳細な解説は本文に譲ります」p7
　by 望月新一

＞加藤氏やFesenko氏の解釈でなく
＞望月氏がそのように主張した発言を引用しなさい
と言ったのに馬鹿だから分からなかったようですね

監修者が著者の主観や解釈に同意していると捉えるのは
書籍の仕組みに対する誤解です

監修の役割はあくまで事実関係（ファクト）の校正であり
著者の解釈や評価の領域にまで介入するものではありません

実際、加藤氏もFesenko氏も
IUTはZFC公理系上の数学ではないなどと述べていない以上
『現行数学と違う』などといった主張は事実関係ではなく
単なる個人の解釈や評価の範疇に過ぎない

>>831

監修者は望月新一です

コピペしかできない人工無能ですか

>>833

事実に基づきましょう

>>830

望月新一
↓

>「底なしに固い」とされていた 概念的な構造の中に、
実は何らかの「不可避の内在的な緩み =「不定性」が存在するという発見 =発想の転換を軸に考えると、
次のような事例が頭に浮かびます。

>量子力学の場合、素粒子の力学は、一つの固定された数学的
な仕組み(=古典力学に出てくる ような微分方程式等)によって完全に決定されるものでなく、いわゆる「不確定性原理」に代表されるように、 様々な可能性に対する確率論的な分布という形でしか計算することができない、必然的かつ内在的な「不定性」を抱えている性質のものであることが、 理論の中心的な主張となっている

>>831
その通りね
数学であることは間違いないところ

>>836

量子力学は実験に基づく物理

＞量子力学の場合、（中略）理論の中心的な主張となっている

例として量子力学をひいて量子力学の説明をしているに過ぎない
本物の馬鹿なんだろうな

>>838

> 例として量子力学をひいて量子力学の説明をしているに過ぎない

IUT語ね。
IUT理論のように、あまりにも 新奇で斬新なものだったりすると 、通常の言葉に翻訳するには 多くの言葉や概念を
巧みな比喩を 用いて説明するしかありません。

>>838

> 例として量子力学をひいて量子力学の説明をしているに過ぎない

IUT語ね。
IUT理論のように、あまりにも 新奇で斬新なものだったりすると 、通常の言葉に翻訳するには 多くの言葉や概念を
巧みな比喩を 用いて説明するしかありません。

望月氏がIUTは量子力学と言ったわけでもないのに
>>837で
＞量子力学は実験に基づく物理
と書いた理由は何なのですか？ 人工無能コピペマシンだから？

当然ながら本には
望月氏が『現行数学と違う』のような主張をしたとの記述はない
さらに望月氏は膨大な論文・文書・ブログを公開している
それらの発信の中で本人の言葉として『現行数学と違う』という
趣旨に相当する記述がどこに一節にあるというのか

>>831

>加藤氏もFesenko氏も
IUTはZFC公理系上の数学ではないなどと述べていない以上
『現行数学と違う』などといった主張は事実関係ではなく

デマだ。


(>>231)

IUGC

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

・アナウス.
abc予想を解決したIUT理論。
▫︎
両者は因果律から矛盾している


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

現行数学と違わないならなんで身内以外誰も理解できず形式化もできないの？

加藤氏やFesenko氏の評価が『現行数学と違う』というだけで
事実関係のステートメントでない
望月氏が加藤氏やFesenko氏の評価に賛同している証拠などない

結局望月氏の言葉で『現行数学と違う』旨の主張はあるのですか？
むしろブログでは標準的な数学であると主張している

結局>>824の
＞望月新一も（中略）IUT理論と現行数学との違いは認めていて
という主張は、加藤氏がそのように評価・記述した書籍を
望月氏が監修した、という事実のみを根拠にしているわけですね
そうなら『監修』という行為の意味を完全に誤解している
>>831

>>844

>加藤氏もFesenko氏も
IUTはZFC公理系上の数学ではないなどと述べていない以上
『現行数学と違う』などといった主張は事実関係ではなく

まず、これデマじゃん

>>845

「より詳細な解説は本文に譲ります」p7
　by 望月新一

『まず』というのなら>>824で
＞望月新一も（中略）IUT理論と現行数学との違いは認めていて
と言った根拠はないわけですね

>>846どの部分がデマですか？

>>848
加藤氏もFesenko氏も
IUTはZFC公理系上の数学ではないなどと述べていない以上
『現行数学と違う』などといった主張は事実関係ではなく

数論幾何学レベルで証明論的な意味で現代の数学の枠に当てはまらないなんてことはないってw

まあ、
望月新一氏の主張がその場しのぎ
の理由はabc予想の数学証明の
基本的なアイデアがないから

数学ではない
数学である


コロコロ都合いい方に切り替えてんだよな
こいつら

>>844
聞いてることに答えて

だよね
IUTの成否がどうであれ
数学では無いとは誰も言ってないね

>>843
単純に間違ってるからじゃない？

IUTは一般の数学及び発展と異なり、
パラダイムシフト期の「数学」で、
望月新一特有のIUT語で書かれている。

人工無能ｗ

“I didn’t really see a key idea that would get us closer to the proof of the abc conjecture"

by P.Scholze

これに尽きる

・Gerd Faltings on the 500-page ABC-conjecture proof

https://m.youtube.com/watch?v=8NpE81F0gzU&pp=iggCQAE%3D&ra=m

望月は非常に自信に満ち、優秀で、アイデアを持った学生だったが、ABC予想について彼は何百ページも書き、聞き慣れない用語ばかりで理解できなかった。
500ページ読もうとすると第１ページを忘れた。いつも君はもっと良く説明すべきと言ってた。それが公式な私の立場。
つまり何度も話し合いの場を持ったのだけど、それでもいろいろ説明してくれるよう望んだが、彼は説明しなかったんだ。

https://x.com/tebasaki_lab/status/2092607403376386243?s=46


まだ居たんだ
こーゆーの、、、
なんでこんなに偉そうなんだろう、、
特定集団からわいてくるよな
同じとこから

他責思考過ぎて草も生えない

カルト老害と化した望月もリーン通らず息の根止められたのかな
すっかりダンマリになったね　早く数理研取り潰しになればいいのに

コミュニケーション(失笑)してんじゃねw

川上とrimsに責任取らそう

「次の中間報告は1年後を目途に」
これがすべてを物語っている

ワラタw
IUTの仲間に入れてやれよww
お前らと中身変わんねーから


https://x.com/ange_azumaya/status/2093152017434992747?s=46

AIにジョークとして作らせた物だろ

↑

しょせん、IUTはAIにジョークとして作らせた物の類いにすぎない

★氏もダンマリなのはなぜなのか

創価チョン笹川バレバレになっててワラタ

「自衛隊へ外国人登用検討を」　笹川平和財団が小泉防衛相に提言 ★6 [煮卵★]
https://asahi.5ch.io/test/read.cgi/newsplus/1788426235/

ドワンゴ朝鮮人の仲間だっけ
三笠宮宮朝鮮人とエプスタイン、伊藤穰一も笹川グループ

90年代に京都府の政治過程調べてたからわかるっていうかさ
その頃は全くわからなん謎だったんだけどさ

なんで裏千家がクソ偉そうに政治に介入してるかわからなかったわけよ

クソダニ伊藤穰一絡みか
今わかったわ
またこいつら笹川三笠宮w
同じだわなIUTと

AIが完全自動でフェルマー最終定理を形式化。end-to-end。Claudeで11日間。
https://www.anthropic.com/research/formalizing-fermats-last-theorem
正しく証明された主要な定理は全て１年以内に自動で形式化されるだろう。

IUTは？

ダメだしされた

>>859

望月は子供とダメ出しされた

Faltings「僕らは子供のような学生達を受け持っており彼らを放り出すことはできないんだ。」

scholzeは数学の実在を書き表し小平数学も同様だ。
一方、望月IUTはabc予想の「証明」ほしさの妄想と連呼を表しIUTのlean形式化はハッキングによる正当化にすぎないだろう。
目指せコラッツ予想の偽証明か、、

https://gigazine.net/news/20260803-collatz-lean-kernel-bug/

IUTキチガイ朝鮮人の精神疾患メモw
こいつほんとなんもわかってない

ランダムウォークのスレ
https://rio2016.5ch.io/test/read.cgi/math/1787798247/

自己同一視が進んで
IUT理論の栄誉と自分の名誉が一体化してる人間がいるんだな
IUT理論が幻だと分かって発狂するのも当然でもともと狂ってる
強化子の喪失でそれが顕になったわけだ

>>880
朝鮮人朝鮮人って連呼して差別用語書き連ねながら日本人教授も嫉妬で叩きまくってるヘイト常習犯って五毛中共漢人か、小粉紅の中国漢人？

>>882
ワラタ
朝鮮人偽右翼の発言っすかw

>>240
中間発表はSSは間違ってるって主張には熱心だったが
PRIMSの査読は適切だったかどうかについては語ってなかったな

LANAは中立かもしらんが公正でもないな

望月はふんぞり返って事態を傍観してる場合じゃないだろ
数学者生命をかけて自ら率先して手を動かし汗をかき尽力しろよ、何様のつもりなんだよ
と言いたくなる

態度は大事じゃないからね

>>886
説明できないおっさんの末路だせえw

>>887
そうか

>>887
どうしてほしいと思ってるのかな

>>889
とっとと退場
税金使うな私費でやれ

>>885
とりまきに囲まれた裸の王様、、

ナビエストークスもおちたか

AIがミレニアム懸賞問題の一つ
ナビエストークス問題を解いた
話題ですか

-

AI Has Solved One of Math’s $1 Million Millennium Prize Problems

quanta magazine
2026年9月8日

https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/ppl

ナビエストークスのやつは性質調べるだけって
言ったらなんだけど
勘とHPCでいけそうな気もするが
LEANのところはLLM強いんだろうな
数日で結果出せる

一方、、

はよAIにknotの完全分類やって欲しいね

何を持って完全分類と呼ぶかになる
もう同値性の判定アルゴリズム自体はある
そこから先なんか面白い分類定理(有限単純群のときみたいな)こんなやつの全体で尽くされるのようなリストが作りうるかどうか
双曲型やザイフエルト型のリストアップくらいはできそうだけど
もう同値生判定アルゴリズムができた時点であんまり発展性は感じない

>>894
AIって名目なら金、計算資源が出せるってのは大きい

>>894
物理でも数学でもないパラダイムシフト
した望月IUTならハレーションおこして
カーネルを通過するかもしれませんね、

>>898

追加
>>231

IUT論文について共同通信記者からケドラヤへ質問。
PRIMSの受理と査読について
(ケドラヤはlean形式化もIUTもど素人).

1時間11分頃から

https://m.youtube.com/watch?v=2jgBBw6XjQ4&ra=m