【数学】ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ [すらいむ★]

数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ

　数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。
　検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。

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

朝日新聞　3/31(火) 13:00
https://news.yahoo.co.jp/articles/7305051a1b2b85772362b2d0ca5de447430d71e1

>>96
あーあクッソ頭悪い低学歴が無限後退し始めたw





だせえww
IUT擁護のゴミマジだせええw

っていうか川上とかその辺りのレベルかもなw

このグループの人達の論文読むと
数学なのに例え話がよく出てくるよね
予備校の授業みたいに

ブラウアーの数学的直感は
全て排中律としてまとめる事が可能なことが分かった
みたいな事例もあるから
数学的直感は重要だけども

証明が可能になるようにLEANにパッチを当てればいいだけ。
信じるものは救われる。

パッチなんか当てる必要はなく系3.12を公理として加えればいい
RIMSでも公理として扱ってる

IUT派が心を入れ替えて誠実になるってことありうるんだろうか
もはやこの話に集約される

>>35
エスプタインは別にどうでもいいよ。

>>103
ドワンゴ
界隈にかなり近いぞ

>>6
加藤さんが解明できないんだったら、誰にもわからないぞおい

この世の中にたった一人の人間がいてあとはチンパンジーだけだったとするとき、
その人間が導いた証明はあとのチンパンジーには努力してもチンプンカンプンで、
決して理解されることはない。それよりもバナナが欲しいだろうし。

人間より圧倒的に頭のいいチンパンジーがいる状態
ただやっぱりチンパンジーは以下略

>>106
ゲラゲラ
ほんとIUT派はクソ頭悪い比喩多いよなあ



朝鮮人ww

>>105
ギャップがあると解明させてるけど
望月さんに強く言えない状態なのでは

偽右翼
顔面見たら
朝鮮人

望月新一の論文はもう具体的に反例が構成されて提出済み
議論なんかされてない
もう結論は出てる
否定済み

反例の論文が提出されて査読中ということ？
wktkして待ってる

ペーター・ショルツェは望月新一の理論には主要な定理に反例があり誤って居ることをすでに証明済み。当然査読済みの論文が出されている。
またアクシェイ・ヴェンカテシュも望月新一の論文は証明に飛躍があり、証明になってないとする見解を出している。
どちらもフィールズ賞受賞者であり、望月新一などより遥かに格上の数学者で、
望月新一が内々で勝手に証明したことにするインチキをやらずちゃんと世界的に名の知られた数学雜誌に論文を提出すればレフェリーをやるような数学者だ。
ウソつきがインチキをやって引き分けみたいに工作しているだけ。
望月新一の理論はすでに否定済み。



.

日本の京大関係者が必死になっているけど、世界は間違いで放置決定の話でしょ。

>>113
査読済みっての間違いだったな。
具体的な反例の提示だから、こういう議論は現物を指し示すだけで十分なので
普通は反例の提出だけで十分とされて、わざわざ論文を書いたりはしないものらしい。

望月氏の今までの論文は大丈夫なの？

>>116
否定済み。
少なくとも望月新一より遥かに格上のフィールズ賞受賞者の数学者が最低二人否定している。
レフェリーやるような数学者ね。

これがマズいのは
韓国がやりそうなことをよりによって京大がやらかしてるってことなのよね
日本はもうここまで劣化しちゃってるってゆうことを示す端的なデータ

Hard times create strong men,
strong men create good times,
good times create weak men, ←日本は今ココ
and weak men create hard times.←これからの日本
G. Michael Hopf

あと確かテレンス・タオも望月新一の論文は否定していたはず。この人もフィールズ賞受賞者。

昔、韓国人が悪さやって裁判になって
法廷に出たくないもんだから自分の体にうんこ塗りたくって抵抗したとかね
ああいう恥ずかしことをよりによって京大がやらかしてると言うね

CHATGPTに聞いてみよう。

誤ってることが証明済みなら何で今更Leanで検証なんて話になってるの？よくわからんな

やっぱ凡人が考える天才の真似
天才のハッタリって言ったら
形から入るよなあ
コジキのコスプレとか

>>123
IUTグループ自分らは誤りを認めてないんだよ
3.11から3.12のギャップの一部分だけ見て
他をブラックボックスにしときゃ
全体は間違ってても局所的に(とは言っても嘘になるが)正しいと言えるかもしれないからなあ

これさあ
みんな黙ってるけど
「IUTで他のやり方」したら別の不等式出てきちゃうだろw

>>123
ウソつき負け猿だからじゃ無いの？

.


Hard times create strong men,


strong men create good times,


good times create weak men, ←日本は今ココ


and weak men create hard times.←これからの日本


G. Michael Hopf


.

負けが確定したら
引き分けみたいに工作しだすのはチョンの常套手段
日本は最早チョンクオリティ

p進数とかN進法とか
分かりずらいから麻雀パイの絵文字を用いれば良いかも

>>125
加藤は認めてるに等しいという報道なんでは？

>>39
星のIUT入門論文読んだけど
理解するのはなかなか難しかった
用語が独自すぎるのと
うまく整理されてるようには思えなかった事で
それから「これは大雑把に言うと～するということである」が多すぎ

>>131
バカチョンアスペルガーか
なんでLEANに手を出したかその経緯の話だろ
ゴミかお前の脳は

エッシャー階段へのチート策は
視野を狭めて局所だけ正しいとか言っときゃいいだけだからな

AIに聞いてみただけだから確実ではなく個人的な予想に過ぎないけれど
LEANには排他的論理和に関す表す機能？が無いらしくMathLibに載っていないらしい
排他的論理和はc言語やPythonはハット記号「^」だけれども
Basicやネット上では乗数で用いられているので実装が難しいと予想
ＷHat？状態な予感

>>135
なわけない

>>136
失礼、表現の仕方が悪かった
ご指摘の通り、LEANは確かに排他的論理和を表せるのだけれども
https://www.youtube.com/watch?v=H4n1XIa2flI
を視聴したのだけれども
集合記号と¬の組み合わせで混乱して読めない…的なことを言いたかったんよ

数学者は数学的記号の統一的表記を決める気はなく
分野によって使い方が違うので
証明系では証明系研究者たちが自分たちで決め打ち的にやるしかない
適用分野ごとに使う記号を差し替えるライブラリを作れる証明系もあるが保守性が低くなる割にメリットはほとんどない

集合論の人は含意を⊃で表すのを好むが
計算論の人たちはそうではない
困った事にこの二つの分野はゲーテルの予言通りかなり接近してきている

多分こんな感じ？
Φ(ζ(-1))∈{2π,2π+(π/6)i}

笹川朝鮮財団の方から来た偽学者w

AIでええんとちゃう？

a+b=c、gcd(a,b)=1 のとき

素因数の積 rad(abc) は
→ cに対して「異常なスケール差」を作れない

正確には

任意の ε>0 に対して

rad(abc)≫c1/(1+ε)という制約がかかる

スーパーコンピューターで２０００通り試してその割合で大体あってるっていう統計学的な解決案で大体合ってるやろ
試行を止めずに２兆通り、2亥通りとかやれば９９．９９９９…％正しい答えが出るだろ

無限大と比較すれば2亥通りどころかグラハム数通りでさえ無視できる小ささ
99.9999…%じゃダメなんですか？
はい、ダメなんです

LEANの前にリファレンスになるIUTは実在すんの？
なんか昔は何年もかけて誤字脱字数式ミスの改訂繰り返してたけど
もう飽きてんだろ？

あんな状態でLEANの持ち込めるリファレンスがあるわけねーじゃんw
そもそもw

カドカワ金無くなってきたんか？
朝鮮麻生笹川ザマw

京大の研究所は２０２６年度からは紙に印刷された雑誌の製造と配付を辞めるらしい。
世界中からダウンロードされたりミラーリングして保存しておかないと、戦争や大災害
などあれば、学術研究の成果の記録はデジタルデータだけだと風と共に去りぬになって
しまうかもしれない。

これ読んだらもう人間の脳ミソじゃ無理みたいやね
ttps://note.com/cool_chives7783/n/n0b48a6daa3fe

>>148
Geminiの発現はでたらめだって、隣の空き地にいる野良猫が言ってたよ

>>147
データはやっぱ消えるの早いと思う
紙にしとけよな
選抜してな

>>148
geminiほんとバカだからな
バカに合わせてくる

>>147
電磁パルス（EMP）攻撃とか受けたらデジタルデータは大丈夫なのだろうか?

笹川朝鮮財団とエプスタインと統一教会とアーベル賞

とドワンゴ

ギャハハ
IUTのバック死にそうじゃんw

KADOKAWAのCEO・夏野剛さん、筆頭株主に133ページに及ぶ資料の中でボロカスに批判され、解任要求されてしまう [594040874]
https://greta.5ch.io/test/read.cgi/poverty/1779497010/

人にわからん証明したって意味はないわな
まぁ単なるホラだと思うが

しばらく黙って見とくかな
いつ頃からネットで工作し始めるんだろうな
創価ドワンゴのボンクラデブは

IUT派チョンカスはチョンカスPOPOPOとか使ってんの？w

この加藤とかいう人の本読んだけど
本人分かってないんだろうな
というのがヒシヒシと伝わってきたよ

｢クライシスアクター｣｢宮本晴代｣｢豊島保養所｣｢ケムトレイル｣｢マグナBSP｣｢アドレノクロム｣←画像検索＆拡散！！
｢ムサシ　不正選挙｣←要検索！！！ちなみにアメリカは「ドミニオン」な

インドの対日レアアース輸出禁止・インドの航空機事故・インドの新幹線導入はリンクしています。
爬虫類（レプティリアン/DS）金融ヤクザ天〇財閥・tsmc浙江財閥等の中華系爬虫類組織、CSIS、CeyeA等のアメリカ系爬虫類組織をぶっ潰しましょう。

イラン国内のモサド工作員　≒　イラン在住のレプ
レプ（DS）の地下施設に突撃！！！！

www.youtube.com/watch?v=UzEhzJw69KM　www.youtube.com/watch?v=fsG76Mo5ZTs
www.youtube.com/watch?v=V1SXb3tIk8U　www.youtube.com/watch?v=fa8ZfKL7TZ4
www.youtube.com/watch?v=EuQWR0cl7es　www.youtube.com/watch?v=daApYtbhUbQ
www.youtube.com/watch?v=83ZMb2vK_dI　www.youtube.com/watch?v=DlIqow9MnxQ
www.youtube.com/watch?v=ETlSW0OiB5U　www.youtube.com/watch?v=xfW4ha_Bfrs
www.youtube.com/watch?v=HBL5oidtCpw　www.youtube.com/watch?v=R6FLwGhZ4xY

あなたの周りにも存在し、自分たちの種族に敵対的な存在に対して集団ストーカー等を仕掛ける痛い下等種族です。

ユダヤ系住民がタムラへの攻撃を喜び、「村が燃えますように」と叫ぶ様子
↑人間同士の対立を煽るこいつがレプやでーーーー
神道仏教ユダヤ教イスラム教ヒンズー教キリスト教イエズス会み〜んなレプ教やーーーーーーー

要するに、形式化に手こずってるって事？

いや証明が間違ってたからグズグズしてるだけ
形式化なんてあそこまでヒューマンリソース注ぎ込んだらもう終わってるって

LEANは過去の数学に基づいて作られた検証ツール
LEANの枠組みを超えるような新数学理論だってあり得るだろう
それが画期的で新しい物であればあるほど

IUTはそういうものではないんだよ
望月も頭の切り替えが必要なだけで簡単だと言ってるだろ

>>163
ゲラゲラ
ほんとバカチョンの言い訳は終わってるわ

どっかで見た手口

33 名無しさん＠実況は禁止ですよ 警備員[Lv.3] (ﾜｯﾁｮｲ 1347-h4v0) 2026/05/27(水) 15:02:09.76 ID:KVhGBc830
今日Xのタイムラインでやたらとニコニコ動画を褒めまくってる（よいしょ）ポストが流れてるんだけど、ニコニコを褒め称えるバイトでもあるのかな
今までの運営を全然しらない人がポストしてるようなのばっかり
https://egg.5ch.io/test/read.cgi/streaming/1779421814/33

40 名無しさん＠実況は禁止ですよ 警備員[Lv.0][新芽] (ﾜｯﾁｮｲ ab0c-S3fo) 2026/05/28(木) 14:05:00.35 ID:w+lIvLur0
>>33
まじなんなんだろうなあれ、最近流れてきてきっしょいわ
だれか言ってやれよ、糞運営は相変わらずだと
https://egg.5ch.io/test/read.cgi/streaming/1779421814/40

>>163
数学基礎論を余り分かってないのでは
数学の理論は
1.推論規則
2.公理的集合論
3.対象とする分野の公理
から成り立っている
IUTは二階述語論理+ZFCAに収まることは一連の報道で明らかで
1と2に関して新しいことは必要としてない
だからLeanで記述出来ることは明らか

なお2に関してはいろいろ選択肢がないわけではない
1に関しても選択肢はある

一般的に言ってどんな新しい数論の理論でも
ZFCAの範囲に収まってしまう
それくらい人間が関心のある公理系は非常に狭い
公理系を記述する言語が生成する公理系群全体に比べると

朝鮮人「一連の報道から明らか」
朝鮮人「Leanで記述できることは明らか」



キチガイ朝鮮人妄想w

報道ww

xyz予想の方もどうかよろしく

阿部氏巨人監督止そう問題

select
count(*),
a, b, c,
rad(abc) as d
from universe
where
a + b = c
and
c > d^(1+ε)
and
ε > 0;

同じ系統のドワンゴ国産LLMのオッサンもいい感じに仕上がってきたなw
訴訟がどうの喚き始めたw

5chには理解者が多数いるのになんで世界の名だたる数学者は理解できないんだ…

https://sites.google.com/view/workshop-on-algebraic-pi1-2026/
ZMCやRIMSの人も出るのね

しかし何も聞こえてこないなあ

角川歴彦（ＫＡＤＯＫＡＷＡ元会長）、夏野剛を提訴wwwwwwwwwwwwwwwwwwwwwwwww [398059782]
https://greta.5ch.io/test/read.cgi/poverty/1781578379/

>>174
来来週始め開始だから10日切ったね
>>33
>7月17日に中間報告会を開き、研究成果などを公表する考えだ。

これも1月切った
2年やってまだ中間報告か

数学の人間が書いた普通の論文を、AIの力によってLeanで記述させれば、証明の検証が機械的にできたりはせんのか？

>>177
形式化が難しい
ギャップがあるから
つまり理論が間違ってるから出来ないだろうね

数学に親しんでないと
形式化が済んで形式推論で真偽をはっきりさせると
正しいか間違ってるか分かるだろと思うだろう

けどその必ず真偽が分かるというのは完全性と言って
ゲーデルが数論を含めば数学理論は完全性を持たないと証明している
つまりそうはならない
要するに>>81

Fumiharu Kato 加藤文元（Bungen）
@FumiharuKato 20時間
Hodge-Arakelov理論の大域化によってabc予想が解けるかもしれないという病気にかかった人が、数学史上2人だけいた。1人はMochizukiで、もう1人がKimだ。

Fumiharu Kato 加藤文元（Bungen）
@FumiharuKato 20時間
昨日までエディンバラにいた。欧州は記録的熱波ということでエディンバラもスコットランドらしからぬ焼け付くような晴天だったが風は冷たく過ごしやすかった。Minhyong Kimの家でいろいろお話しした。私は何と戦っているのか、途中でわからなくなっていたが、最後にはまたわかって帰国した。

>>179
RIMS外のIUT擁護者たちに証明にギャップがあるという結論について意見交換して
最終的に同意しなかったのが望月と金だということなんだろうな
違うの？

メイドさん ご苦労さん