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

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

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

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

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

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

メイドさん ご苦労さん