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

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

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

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

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

これ読んだらもう人間の脳ミソじゃ無理みたいやね
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擁護者たちに証明にギャップがあるという結論について意見交換して
最終的に同意しなかったのが望月と金だということなんだろうな
違うの？

メイドさん ご苦労さん