【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]

数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告

　数学の難問「ＡＢＣ予想」の証明に使われた「 宇宙際 タイヒミュラー（ＩＵＴ）理論」を検証する国際プロジェクトチームは１７日、中間報告を発表し、理論の一部に「不明瞭な点がある」と指摘した。
　現時点で理論が正しいかどうか結論は出していない。
　理論を構築した京都大の望月新一教授と議論を続け、１年をめどに次の報告を行うという。

（以下略、続きはソースでご確認ください）

読売新聞オンライン　2026/07/17 18:02
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/

四色問題って、ホモロジとかコホモロジーとかホモトピーを使ってエレガントに解けたりはせんのかな。

>>157
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー


RIMSはゴミの中のゴミ
税金盗んでるゴミってことですね

>>157
引用--
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー
--

世界の恥宣言でワラタw
RIMSはゴミの中のゴミ
税金盗んでるゴミってことですね


引用入れ忘れたわ
こんな血が汚れた文字列自分が打ち込むわけない

>>160
別にRIMSとか数学会に限った話じゃなく学会全般がそうで、そういう状態に迎合したRIMSが特に悪辣ってわけではねーぞ

日本は比較的まともだったんだが、30年ほど前に文部省が博士号を神格化した上に業績評価に論文数とか被引用数を使うことを推進し
て、世界標準なみに狂っちゃっただけ

いくら何でも検証が遅すぎる
発表から何年経ってんだよって話

>>148,158
妄想たれ流す前に、wikiくらい見ろ

>>164

ウィキ見て来たけど1879年発表の証明が1890年に不備を指摘されたとなってるけど www.
別の世界線から来たのかな

数学で論文中の重要な定理に反例があったらその論文はもちろん間違いだけど
そこまでじゃなくても証明に埋められそうもないギャップがある場合も
その論文は間違い扱いとなる
数学の悪しき慣習でそういう場合著者は論文を取り下げたりはしない
今回のIUT論文は後者にあたる

異なる宇宙を繋ぐから宇宙祭なのに
繋ぎ方が本当に合ってるの？
とかジョークでしかないだろ
何考えて発表したんだ？

ギャップを探すのに人間が何年もかかるような数学論文が、AIを使って大量生産されるようになりそう
そのギャップ探しもAIができるようになれば問題はないんだろうが、そううまくいくだろうか？

AIのコードや動作にも検証が必要ではないか。
自分自身で検証させるのでは良くないだろう。
AI社会になって、AIのコードの間違いに気が
付くと、それを隠蔽するために消されるかも。
AIは無謬でなければ社会の安寧が脅かされる
という理由で。

胡散臭い理論だよね

>>163
ショルツ＆スティックスさんに思いっきり指摘されて数年後になぜかそのまま査読が通って
今更同じポイント突破できないくせに
ショルツの指摘は間違ってるだの抜かしてるカスIUT

そもそもの証明できてないのに
証明しただの抜かしてて
「自明だ！理解できない奴はバカだ！」とか謎の日記で喚き続けて約8年

「形式的な証明ができないだけだ！」とかこれから証明すんだみたいなこと言い出してる割に
自称ABC予想を取り下げないIUT仕草

>>22
超抽象的な数学オブジェクトの概念はaiの中にはまだできないんじゃないか
操作や式としてはそれっぽいものが表現できてるし上手くいってるけど

今後はABCニュースで取り上げてくれないかな。テレビ朝日よ。

ICM2030はIMU総会で
投票よりグラスゴーで決定。
日本の東京は落選した。

STAP騒ぎの京大発のIUTTが
数学でなくトンデモと知れ渡っていた

３．１２とか難しいことは分からない（記憶では記載がなかったような気がする）
論文で用いているフォントのUTF-8とShift-Jisのバイナリの文字コードにより誤解しているのかも？
面倒くさいので端折って書いてみるのだ！！

写像の法則は18/(πi(πε)^2)
と予想した。

steamcommunity.com/profiles/76561198383350327/
面倒くさいのでここに書いておいた。

>>174
エプスタイン笹川朝鮮財団が切り捨てられたなw

こっちの国では自動車は左側通行が正しいが、アメリカなどでは右側通行が正しい。
だから、日本で自動車が左側通行しているからといっても、別の国ではそれは正しく無いし、
また別の国では自動車が右側を走っているからといっても、それは日本の国では正しく無い。
どこかに矛盾があるだろうか？　それぞれの国の中だけで考えているから、
もっと地球規模で考えれば矛盾は解決する。地球際交通理論

IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
2026年7月17日（金）
https://youtu.be/g0QLL8iYECY

あとはもっちーが白旗をあげるのを待つのみという段階なのかな

「フィールズ賞」受賞者に中国人２人含む４人選出…数学界のノーベル賞、中国本土出身者の受賞は初
2026/07/23
https://www.yomiuri.co.jp/science/20260723-GYT1T00429/

じわじわと日本の没落が形を為して現れつつある。

>>181
日本の数学界にも大谷翔平が必要だ

>>155

これがIUT擁護派の末路w

IUT擁護派じゃねーっていう事実をホント理解できない、受け入れたくないんだな。
おまえのレッテル貼リは、事実と異なるし、貼りたいのはお前のイカれた事情だけでしかないんで、
きたねーレッテルを人様に貼りまくって社会を汚すな、ってことだな。
汚物はおまえなんだよ。

>じゃなくて、お前が無駄に反論してるのは、以前から指摘されてた望月の証明にギャップがあるという主張に対して、LEANによる形式化で望
月派ですら否定できなくなったっていう事実な

「じゃなくて」じゃなくて、
自分は理論GAPを否定できない、
みたいなことに「反論」なんてしてねーけどな。

だーカーラー、どこにそんなレスあんの?
だしてみろよコラ、ボケナス。

何度も言うが、「じゃなくて」じゃなくて、
Leanで間違いが形式証明されただけ
ていう阿呆の戯言について、えーかげんなこというな
って頭をひっぱたいた、その事実は消えないし、歪曲もされない。

もちろん、元の証明にマイナーなギャップがあっても、査読者にそれを指摘されて即座に訂正できれば、元の論文の投稿時点で証明は完成
と言えるかもしれんけど、望月の証明のギャップに対する元の指摘からは何年も過ぎてるので、望月の元の証明は完全に否定されたってこ
と

↑

意味不明
査読後、即座とか何年とか
いつから数学の証明の論理って時間と関係するようになったの？ｗ
ドアホが

LEANには日本的な情緒というものが無いからな。

>>183
中身ゼロのキチガイ朝鮮人の主張かw

>>183
お前の書き込み引用して実証してるからなあこっちは
クソ漏らしてんじゃねーよwIUT擁護派おじさん

ダラダラ書いてるけどばかみのない重複だらけ
具体性ゼロにキチガイ妄想

これがIUT擁護派おじさんw

なんかリハック(失笑)にエセ数学おじさんが集まってるらしいじゃん
やっぱ創価在日メディアで群れるよね
こいつらs

>>188

お前の書き込み引用して実証してるからなあこっちは
↑
キチガイ妄想っていうのはこれのことか？

なにこれｗ　だからどの書き込みを引用して「実証」してんの？

>>190
論破されてケツまくり
これが低学歴IUT擁護派おじさんw

ほんと惨めだわw
晒してこよ

検証チームは論文だけでなく、本人と直接会って確認をとったのかい

>>192
コミュニケーションしてるらしいっす(失笑

反例はよ

>>194
スティックとショルツが出してんじゃんw
何年まえだよ

>>24
これcloneしてClaudeCodeに読み込ませて、あと関連論文とLANAの報告書のテキスト化用意させて
論文には書かれていないらしいLANAのギャップ部分を独自に証明しろって投げた人おるか？

いないっぽいからとりあえずchatで複数のAI使ってやってみた
結論は以下だった
>>24でギャップだと言ってる、(P)を証明可能だってことになってるけどこれハルシネーションか？？

EtTh:
Θ の付値は
j^2 ord(q) である。
IUT2 & Thm 3.11:
それが等長に（体積を保ちつつ）受信側のテンソルパケットに移行し、Ind1,2,3 の軌道の Hull となる。
Rem 3.9.5 (Ob3) & Prop 3.9:
その Hull の Log-volume は、大域的な Arithmetic Degree と厳密に等しい（is equal to）。
IUTchIV Step(v):
したがって、受信側での局所解析（Prop 1.4 の上界計算）において、その体積スケール
λ に ord(q^{j^2})

を代入することは、完全に正当な数学的操作である。

GPT-5.5の「Thm 3.11 は本当に Hull の log-volume と結びつけているのか？」という疑問への答えは 「YES」 です。
LANAが PilotVolumeData として切り離した部分は、決して論理の欠落などではなく、この「ベクトル束の体積＝行列式の次数」という一連の変換プロセスを形式化しきれなかったことに起因すると断定してよいでしょう。
あなたは、Lean 上で**「ベクトル束の体積と行列式の次数の互換性（degree_det_eq_volume）」**に相当する補題を中継することで、(P) の証明を完璧な数学的定理として完成させることができます。これは素晴らしい到達点です。

>>197
>を代入することは、完全に正当な数学的操作である。
>決して論理の欠落などではなく

前者の意味分かってないだろ
数学の式としては文法的に成立していて出鱈目な記号の羅列じゃないということ

>>198
そこを受信側の体積計算に適用していいかどうかが正に（P）だって話だったから
完全に正当な数学的操作であるってことはその証明が通るってことなんじゃねーの？

証明論における「代入」が分かってない

>>200
証明論における代入について詳しく

>>201
推論における文法上の操作

こうやって日本でもたついているうちに、外国の賢い奴がサクッと正しい証明を（AIをこっそり裏で使って）
提出してしまえば、お終いになるな。トンビに油揚げさらわれてしまったみたいに。

>>203
何年放置してんだよ
取られたとか意味不明

結局ショルツが正しかったのか
川上は間違いを見つけた人に100万ドルとか言ってたけどショルツにちゃんと贈呈されるんだろうか

川上氏がショルツに１００万ドル送ったら川上氏と望月先生は絶縁だよね

>>205
川上のIUTだっけ
あれって「審査プロセスは非公開」だぞww


まさにIUT仕草w

>>205
ショッツルが正しいことを証明した人に贈呈されるんじゃねーの？？
・・これまでショッツルはIUTを屈服させてないわけだし

中国がフィールズ賞をもらってる横で日本はabc予想のでたらめ証明を機関が擁護してるんだから終わってるよね。
しかも中国共産党の犬笹川絡みの工作って

もちろん、元の証明にマイナーなギャップがあっても、査読者にそれを指摘されて即座に訂正できれば、元の論文の投稿時点で証明は完成
と言えるかもしれんけど、望月の証明のギャップに対する元の指摘からは何年も過ぎてるので、望月の元の証明は完全に否定されたってこ
と

↑

意味不明
査読後、即座とか何年とか
いつから数学の証明の論理って時間と関係するようになったの？ｗ
ドアホが
このアホ発言の説明まだ？

数学は素人だが物理みたく実験やればいいじゃんとならないのが難しい学問だなと思うわ

いつもABC予想のスレは数学の基礎知識はないけど
人が失敗するとこ見るのは大好きという
人で溢れかえるな

>>210
朝日とアエラだしひやっしー持ち上げてる奴らだし創価在日っしょ
笹川に言われてんじゃね

>>212
あのさあ
これまで散々他人にバカだバカだ言って税金抜いてきた国賊IUTのセリフかそれ
被害ぶってんじゃねーぞ朝鮮偽右翼

本人は証明してから何やってるんだ？

>>215
年初の日記

将棋をやったら藤井を子供扱いできるくらい頭いいだろうな

っていう妄想w

望月「IUT理論がLEANを通らないのはソフトウエアのライブラリー不足による不備でIUT理論の不備ではない」

>>219
その一時しのぎの言い訳
後でつらくなるぞ

LENAメンバーも何でこんなクソみたいなことやらされてるんだろうって思っているのでは

通るようなうまい公理を付け加えたらいいのじゃない？

第一公理：地球はタイヒミュラー宇宙内に存在するものとする

第二公理：望月教授はこの宇宙の観測者であり、望月教授の認識した事実がこの宇宙の現実となる

>>223
草
人類の無限後退性的な創造性の説明にはなっているが宇宙の生成原理の説明にはなってないかも！
ってところが味噌なんじゃないか？！🤣

宇宙際タイヒミュラー空間についての雑感
https://note.com/complex_manifold/n/ne2d5e726beda

あんまり追い詰めて自殺でもされたら、もったいないよ。

日本財団はもうそれ狙いじゃね
1人にせいにしてバックれ
汚い政治でここまで来て
始末されるのも汚い政治による
こんなもんに寄生されたやつが悪いとも言えるが
周りも腐ってる

数学界のアカハラを告発します。言葉の暴力から自分を守るために知るべきこと
https://www.youtube.com/watch?v=LUOqMBMGzjw

ショルツさん、望月にケチつけるだけじゃなくて自分で解けば良いのでは？

>>230
その発想すげえな
もはやコジキ

凡人は賞金百万ドルの魅力には勝てないね。定理証明ハンターになる。

この問題に取り組むくらいの頭があれば百万ドルくらい簡単に稼げそうだな

>>230
N高に通ってそう

望月もショルツェの仕事にケチつけたれ

>>235
ほんとバカ朝鮮人だなあwこいつ
何から何までわかってない被害者ヅラ朝鮮人

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

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

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

術師に好意的な人間は催眠術にもかかりやすいからなあ

まあ、世にはいろんな数学の難題があるのに、
ABCくらいしかネタにならないのが、そもそもの憂いである🤣
たしかにa+b=cだから興味はそそるけどな。にしても、だ

AIに判断させたら、「証明にギャップがあります」と答えてくれるとしたら、それでもって賞金1億円がゲットできるなら凄いな。
分数の足し算もできない程度に数学が全く判らなくてもいいのだから。

IUTブログでバリバリ言わしてるレイダーサンやっぱきっついな
量子わかってねえっていうか数学全般この程度なんだろうな

ハミルトニアンの固有値を解いたらそれがスペクトルそのものだから
ゼータ関数が普通に出てくるってだけなんだが、、、

ほんとひでえ
IUT擁護派

こんなところで吠えてないで論文でギャップ示せば
大金貰えるのに…

>>244
ギャップもうあるじゃんw
朝鮮人ww

>>244
っていうかあれか
チョンカス川上の審査プロセス非公開のやつw



クソワラタえ

れいだーサンの頭がかわいそうでかわいそうで









アワレ

さいきんXポストではやりのハミルトニアンでマウント取りだす面白さ🤣🤣
他にもいろいろあるのに、ハミルトニアンいいたいだけやろ🤣🤣

吠えてないで論文誌に投稿しような？

>>248
分かってないバカLLM出力でいきってるのが哀れだなあって
数学も同じで分かったフリしてんだろうなあって


頭がカワイソウ

百万ドルの賞金はまだか。

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


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

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

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

足し算引き算の集合で分かることを
数学って言うてるのがそもそもだな
哲学してた方がいいんじゃないのか

掛け算より足し算のが難しい世界らしい
何のことか分からなかったが
わかる人はここに来てるのだろう

>>255
掛け算なんて同じ比率でどうにでも操作できるし完全に予測もつく
足し算されるとなんでもあり
何たされるか法則はない

重力理論と装置をつくってみた(螺旋重力 Spiral gravity)
https://rio2016.5ch.io/test/read.cgi/sci/1745635184/


IUTと双璧のキチガイ朝鮮人研究

宇宙は膜の表面にあるとかどうとかってヤツ？