26/07/22 22:04:16.66 T9Q165NM.net
>>428
(引用開始)
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
(引用終り)
うん、君にだってチャンスあるぞｗ （＾＾
いま、AIつかって 数学未解決問題を解かせたという話がどんどん出ている
実際にも 下記の別スレだが AI Claude を使う チャレンジをするらしい
LANAプロジェクトに先行すれば 面白いな 頑張って欲しいね （＾＾
それはともかく
「ポアンカレ予想物語」という本がある。ポアンカレ予想というのは、一見解けそうに見えて みんなチャレンジして 失敗したという
ABC予想は、その逆かもね
難しすぎて、チャレンジする人があまり居ないというか
望月以外には 「解かれた（解いた）ぞ」という話が あまり聞こえてこない（ジョシさんは別として）
望月IUTは、いままでで 一番ABC予想解決に近づいた論文かもしれない
なので望月IUTの延長線上でも、だれかがギャップを埋めるか
あるいは だれかが 望月IUTの改造で
それはAIの力もかりてでも Leanに乗せることができれば
間違いなく数学の進歩でしょう
＜アマゾン＞
ポアンカレ予想物語 (数セミ・ブックス 13)
本間 龍雄 (著) 日本評論社 発売日 ‏ : ‎ 1985/11/1
(参考)
URLﾘﾝｸ(rio2016.5ch.io)
378１３２人目の素数さん
2026/07/21(火) 09:12:45.13ID:rReqYplZ
「3.11 = 3.12」 を分解して形式化をはじめている
前半 (3.11)
APT (アルゴリズム的並行移動)
IPL (入力整合性)
→第1~第3三角形
後半 (3.11.5= 3.12)
SHE (同時正則表現可能性)
IPL (input prime-strip link)
→第4三角形 (現在RIMSが形式化に取り組んでいる箇所)
382１３２人目の素数さん
2026/07/21(火) 09:38:04.19ID:rReqYplZ
lUTのLean形式化は、次の段階に分けて進める
・Stage1
[IUTchlll] 定理3.11=系3.12
・Stage2
[UTchll]定理3.11の証明
・Stage3
[UTchl-ll]
・Stage4
1995年以降の先行研究
・Stage5
数値的側面 ([IUTchlV],[ExpEst])