Inter-universal geometryとABC予想(シン応援スレ) 92 (288ﾚｽ)
上下前次1-新
260: 07/18(土)00:21 ID:tNVzwFR0(2/7) AAS
じゃあハッタリ偽学者の例も出せよ
チェリーピッキング加藤はお前は
261: 07/18(土)00:22 ID:j6YSwJUc(1) AAS
ですね
262(1): 07/18(土)09:06 ID:HVwj1DT/(1/10) AAS
>>246
議論のネタ追加
＜ケドラヤの発表＞
動画ﾘﾝｸ[YouTube]
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信
＜文字起こし＞
省24
263(1): 07/18(土)09:07 ID:HVwj1DT/(2/10) AAS
つづき
53:05しかしそれに対して私は申し上げたいことは不定性が実数に直接作用することを、え 、示唆していますが、これは望月の方法を
53:14正確に表したものではないんです。この分析では不定性はボリュームコンテナー
53:22の部分集合に作用するということであり、 従ってその実数上への影響を直接 トラッキングすることはできません。
53:31実数のサブセットに対する影響は このIUTによる
53:41ABC予想にいかなるの証明も、略 に押し込めることができるとショルツ
53:49スティクスは仮定してるわけです。その分析についてこの形として
53:57この実数が略 トッパーズ教授の
54:06スライドでありましたようにこの実数中で 図を用いて先ほどのスライドの
54:13実数の証明であるわけですが、従がって これはこの想定として、え、不等であると いうことは、略
省10
264(2): 07/18(土)09:30 ID:HVwj1DT/(3/10) AAS
>>262-263 補足
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
3名の立場は
１）ショルツ スティクス 分析は、望月氏の3.12を全否定しているが
しかし、その分析は不十分
２）望月氏の現時点のIUT論文から 形式的なLeanコードに 落とすことはできなかったが
何かを補えば 3.12を Leanコードに 落とすことが出来る可能性は残っている
省24
265: 07/18(土)11:11 ID:tNVzwFR0(3/7) AAS
ほんとIUT擁護派ってコピペで逃げるキチガイしかいねーよな
266: 07/18(土)11:48 ID:s4oDEHbd(1/5) AAS
事実：IUT理解者とされる星参加のもと24年9月から2年近くかかって疑義を呈されている部分だけすら形式化できなかった。
事実の正しい見方：望月論文は「η^q=ηS^anab予想 ⇒ ABC予想」を証明した可能性が高いが、「η^q=ηS^anab予想」の証明は全くの白紙、従って「ABC予想」の証明も全くの白紙。
267: 07/18(土)13:15 ID:yk4CMt8u(1/4) AAS
結局ほぼそのまま想像通りの発表でした
>今後も残された論点を数学的に明確な形にし、望月氏および京都大学数理解析研究所（RIMS）側との対話も続けながら
と加藤文元が語ってるのは
今も望月がギャップを公式にも仲間内でも認めてないという意味でしょうし
それも想像通りでした
・望月は公式には認めてないギャップを埋めようとしたことがあるか
・あるとしたらいつからいつまでか
は結局は分かりませんでした
自分は2018年から2020年くらいまではやろうとしたんじゃないかと想像してます
ただ加藤が結論を先延ばしにしたのは「この点(ギャップの事)に関する望月の説明が進化してきたからだ」と言っておりLANAプロジェクトに触発されて最近も取り組んでいた可能性が高そうです
省6
268(1): 07/18(土)13:19 ID:yk4CMt8u(2/4) AAS
この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
abc予想は望月によって証明されてはないとはっきりと宣言しています
269(1): 07/18(土)16:32 ID:HVwj1DT/(4/10) AAS
>>268
>この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
>abc予想は望月によって証明されてはないとはっきりと宣言しています
ほぼ同意ですが
近しい人達を傷付けないように柔らかい表現で書いてありますが
↓
マスコミに誤解されて 近しい人達を傷付けないような表現で書いてあるが 数学的な客観事実はしっかり書かれている
プロ数学者が読めば
abc予想は望月による証明で
3.11→3.12 で Lean のロジックが繋がっていない
省9
270(1): 07/18(土)16:57 ID:HVwj1DT/(5/10) AAS
>>269 追加
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一 主張・講演
[13] 宇宙際タイヒミューラー理論への誘（いざな）い 《拡大版》 （東京大学 2013年06月) PDF
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
P10 より
古典的なガウス積分
略
の計算（＝「デカルト座標→極座標」）の、数体上大域的な類似物と見る
ことができる！
省10
271: 07/18(土)16:58 ID:HVwj1DT/(6/10) AAS
Leanプロジェクトで指摘された ギャップを埋められれば 拍手喝采だ
はてさて どうなることか？
272(1): 07/18(土)17:09 ID:s4oDEHbd(2/5) AAS
どうなることか？
自称IUT理解者が1年がかりでできなかった実績がある、つまりまったくの白紙
リーマン予想が証明されれば拍手喝采、はてさてどうなることか？ と言ってること同じだよ
273: 07/18(土)17:15 ID:tNVzwFR0(4/7) AAS
元からできねーのにLEANちゃんが勝手に証明してくれるわけでもなしw
274: 07/18(土)17:33 ID:s4oDEHbd(3/5) AAS
>Leanプロジェクトで指摘された ギャップ
という言い方も変だけどな
SSに指摘されたギャップが確かにありましたってだけやん
275: 07/18(土)18:11 ID:yk4CMt8u(3/4) AAS
>>270
「と見ることができる」はIUT界隈ではよく使うよね
276: 07/18(土)18:12 ID:yk4CMt8u(4/4) AAS
>>272
SS論文から8年だよ
277: 07/18(土)18:19 ID:s4oDEHbd(4/5) AAS
SS論文は間違いでギャップ無し
って認識だったからギャップを埋めようとし始めたのはもっと後だろ
278: 07/18(土)19:18 ID:dAI7NO4p(1) AAS
AA省
279: 07/18(土)21:33 ID:6OQHWFYg(1) AAS
SSへ「お前らは間違いだ」と書簡は送ったのかな？
送ってないのなら今すぐ送るべきだろ
上下前次1-新書関写板覧索設栞歴
あと 9 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s