【数学】難問ABC予想は証明されたのか　論文発表から13年、論争は迷宮へ [すらいむ★]

難問ABC予想は証明されたのか　論文発表から13年、論争は迷宮へ

　今からちょうど13年前、数学の超難問「ABC予想」の証明を主張する論文が公開された。
　「証明した論文」とはっきり断言できないのは、ABC予想をめぐって数学界が異常事態に陥っているからだ。
　数学の世界で今、何が起きているのか。
　混迷の時代に突入したABC予想の現在地を振り返る。

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

朝日新聞DIGITAL 2025年8月30日 6時00分
https://www.asahi.com/articles/AST4Q0SSMT4QDIFI006M.html

誰も正解分からない

宇宙際タイヒミューラー理論がぶっ飛びすぎてて誰も検証できていないのが現実だろ

>>3

定義を示さないでオリジナルタームを連発する学者さんには要注意

望月教授はAIなのかもしれないな

AIに物理法則を学習させたら「未知の物理変数」で現象を表現する！ - ナゾロジー https://share.google/TAa6IJqnnfJjDiMkt

創価在日がエセ科学で税金抜いてるだけでしょ
朝日の創価在日もアシスト

理解者は15人と言われているが
ここ5年増えていない模様

まだAIに論文を食わせて確認とかできんのか

望月
現実の世界では手が届かない難問がある。
だから、一度より構造的に都合のいい宇宙に問題を転送し、そこで証明して結果だけ回収して帰ってくる。

ショルツ
いやそれ本当に別の宇宙に問題を転送できたの?
んで持ち帰ってきたのは元々の問題の証明だと言えるの??

望月
お前らみんな学部レベルの基本的なことを理解していない

>>5
思考速度がとても速いんだろうな

AIに解析させるとかできないのか
今のジェネリックなシステムでは手に負えないとしても、ディープマインドあたりが専用のシステムを作って論争を解決するように導けるんじゃないのか

１３年で数学は何か進んだのかね？

異常事態に陥ってるならまだいいけど実際のところ誰も興味持ってないのが現状

よーしパパ、ABC予想とリーマン予想の反例を見つけちゃうぞー

キスとペッティングをすませたカップルは次に交尾する。

>>9
そのショルツはSASTRAラマヌジャン賞を受賞しているという皮肉

邪馬台国論争みたいに
肯定派と否定派がずっと議論していけばいいんじゃない？

>>17
邪馬台国論争のような政治闘争かつイデオロギー
（ナショナリズムという起源の存在しない起源に依存する政治）
ではないのでそう時間はかからずに解決される
300年とかからないだろうぬ

まあこういうのは数学あるあるだから
なんか言ってることがよく分からんけど合ってるんじゃね?が数百年後に証明されたり否定されたり

>>18
違うんだなこれが
裏にいるのが笹川朝鮮財団＆創価学会

ショルツェは証明にギャップがあると言っているが、理論を理解していると主張している人らの中では理論を深く学んでいないことによる初歩的な勘違いだとして問題にしている人はいない
本当に理論の欠陥を突いている物なのであればそれによって離脱する人が出てきそうな物だが一顧だにしておらず動揺している様子が見られない
確かにIUTTの支持は広がりは小さいが、ショルツェの主張を積極的に支持する人はそれ以上に少ない
論文が発表されてから10年以上経つが事実上欠陥は見つかっていない
これは理論が正しいケースであると考えられる
IUT理論が正しい前提で新しい数学を進めれば日本は最先端の数学を作り出す30年先を進んだイノベーティブな国になることができるだろう

カニにチンポ挟まれてひらめいた

・「望月の不等式（系3.12）」にまだギャップがある
・「望月の不等式（系3.12）」は数論から独立である

数学難問の理論、決着に私財で賞金　川上量生氏
議論の活性化目指す
2023年7月30日 2:00
https://www.nikkei.com/article/DGXZQOUC26CQY0W3A720C2000000/


＜IUT Challenger Prizeの審査方法＞
審査は川上量生が個人として独自の判断で行います。
審査の方法については非公開としますが、審査の対象とする論文については、『MathSciNet』に載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上で掲載されたものに限ります。
https://zen.ac.jp/news/pwcfj8s9z1nl


独自の判断w
非公開w
川上量生w

失笑w

三角頭

もう迷宮という段階ではなくてただの間違いという段階に来てるのでは？

>>7
その15人はこの13年間なにしてたの？

>>21
だといいんだけどなあ…

正否がよくわからんということは
証明としてまだ不十分ということなんだろう

やはりここはオレの出番かな
咲いたコスモスコスモス咲いた！程度なら無詠唱で式を書ける、かつて模試でも数学の山田くん（仮）と言われた俺様の！

>>26
間違いであると証明出来る人がいないから宙ぶらりんなんよ
正しいか間違ってるか百年後に期待

>>4
石丸かよ ww

>>13
塩っぱいブドウ現象

ガロア理論のように普及までには時間が掛かるのだろう。
だれかが内容の正確な詳細な良い解説書を出すことが
望まれるところ。

10年したらAIが独自に数学の難問全部証明しそうだけど
それが本当に正しいかどうか人間は判断出来ないw

と思ったら国産LLMでひやっしーしてるやつがzen大学でIUTと同じ奴らww

宇宙際タイヒミューラー理論という単語は知っているけれども、中身を知らない
と、言いますか理解できる気がしない
8 xor 5=13
12 xor 1=13
なので
5 xor 8=1 xor 12
排他的論理和やnotなどで算出した値を用いるので、まるで別の宇宙で計算しているようにみえる。
みたいな感じ？

TDNがホモかどうか実証できない
→あっちの世界では出演している
→ホモと証明できた！　←望月
→発想に飛躍がないか？　←ｼｮﾙﾂ
→免許出せよｵﾗｧ　←望月

こんな感じ？

E気持ち

>>35
数学おいて難問を全部証明するということは永遠に訪れない

形式的証明を書いてくれて形式的検証も提示してくれるだろう

なんか検証するためには3つの分野で専門知識を身に着けて極めないといけない
みたいなこと言ってたよな
しかも普通の人はそのうちの一つでも極めるのは至難とか

数学界で13年は「まだ」なのか「もう」なのかどうなん？

>>41
あーそれ？
それはIUTは天才だ！とかほら吹くための演出だよ
身内の太鼓持ちライターのなw


別にところでは別のこと言ってる
まあダブスタ朝鮮人って感じ

沖田浩之先生の遺された難問

構成的な証明でなければ、仮に論理に飛躍などがあっても、
なかなか簡単には反証できないだろうね。

>>45
その間に延々と税金吸いますって話だろうな
クソ大学作って麻生経由とかの

果たしてコンピュータ上の定理証明系システムに乗るように
書き換えて、その証明をチェックできるようなものなんだろうか？

>>21
ギャップのように見える部分を解説する論文出せばいいんじゃないの

>>48
文書の形にまとまっているものは
2018
ショルツェ、スティックス
疑義レポート出す
望月
対応する解説を出す
論文も「分かりやすく」修正する
2021
ショルツェ
疑義への回答にどう不満であるかレビューを出す
の3回
3回目の正式な回答がない状態
自分たちの論文誌で受理したのが2020年
同年ネイチャー誌に匿名の専門家が批判
世界のほとんどの専門家が認めてないと

ちょっとした文章でも誤字脱字程度の誤りはいっぱい出てくるわけで、これに限らず、最近の長々とした証明は、たとえ世界の
数学者のほとんどが正しいと断言したとしても、全部間違ってると思っといたほうがいいわな

>>47
一階述語論理にもっていければできるし、実際いくつかの例ではやられてるし、IUTは知らんが普通の圏論は一階述語論理で
公理化できるようだよ

証明って階段を昇るように一歩一歩小さなギャップを確認しながら進んでいくようなものだと思うけど
いくら正しくても崖のようにギャップが大きいと誰も着いて来れないよね
坂のように滑らかにしろとは言わないけど
望月氏や他の理解者支持者でもいいから解説なり書き換え補足なりして着いて来れる人を増やせば広く認められる日が近づくんじゃないかな

公理化できるものは公理化できるだろうが、
難しいのは長ーい証明をキチンと証明システムに
載せられる形で記述することだろう。
微分積分の理論体系についてはかなり
出来ているらしいと聞いた。

将来ある数学の予想に対して、AIを補助に使って、
数十万ページにわたる長大な証明が提出されたときに、
その内容の理解、正しさの検証、に人の一生が掛かる
程の複雑さがあれば、はたしてそれを受け入れられる
だろうか？　たとえば将棋の必勝法があるとして、
場合分けを尽くしてその証明がなされたというような
ときに、誰がその証明を読むか。それはあまりにも
単純な例だけれども、もっとレベルの違う予想とその
証明で、次から次へと狙いの分らない新概念と用語、
定理を延々と導入し続けて、数十万ページにわたり
記述されて解決に至っているとしたら。人間の能力
を超えているとしたら、あるいは世界で１人ぐらい
しかその理解に到達できないとしたら？
それは学問のユートピアではないのかもしれない。
長大な証明やOSやシステムソフトにはバグが付き物だし。

山内萌ってシラス内外から嫌われてボロクソにいわれてるな
東と上田にも期待外れと言われアベマでも地蔵w

ニコニコ動画ステマ事件ワラタ
麻生と川上w