Inter-universal geometryとABC予想(シン応援スレ) 92 (264ﾚｽ)
上下前次1-新
246(2): 07/17(金)20:22 ID:zMIRi+X7(5/9) AAS
「LANAプロジェクト」中間発表会 動画 「LANAプロジェクト」中間発表会
結論は、7月17日時点では、未決着（灰色）
キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない
ということだったな
（下記の YouTube（日本語チャンネル））
動画ﾘﾝｸ[YouTube]
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
省21
247: 07/17(金)20:23 ID:vYHSR94t(1/4) AAS
知恵遅れチョンのコピペw
248: 07/17(金)20:49 ID:y77BSKda(1) AAS
チャッピーに望月理論（IUT）の問題点を辛口に要約させてみた。
IUT理論をわかりやすく言うと
ある世界では意味を持つ情報を、
別の世界に移行させ情報を意図的に切り離し、
それでも比較可能な不変量だけを取り出す
という論理の組み立てです。
問題点を辛口に要約すると
独りよがりな新規な言葉や概念が非常に多い。
前提知識に数学上でも難しい理論を詰め込み過ぎ。
数学的対象をそのまま比較しないで、別の系統にすり替える。
省4
249(1): 07/17(金)20:54 ID:vYHSR94t(2/4) AAS
↓前スレの予言者たちが大正解で笑える
580 １３２人目の素数さん 2026/06/05(金) 13:57:15.51 ID:hh2bP5sr
ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね
582 １３２人目の素数さん sage 2026/06/05(金) 20:47:34.74 ID:dIc+3A3u
「問題は3.12じゃなああい、3.11.5だああ」
とか小細工かましてフカしてるあたり
認めないだろうなw
583 １３２人目の素数さん 2026/06/08(月) 23:26:33.76 ID:jIFwXGol
ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...
250: 07/17(金)20:55 ID:zMIRi+X7(6/9) AAS
>>246
>キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない
>ということだったな
まあ、ハッキリ言って
現状の証明にギャップありってことだろう
問題は、その証明ギャップを埋められるか否かだ
頑張って、証明ギャップ埋めをやってほしい
頑張れ、望月・星！
251(4): 07/17(金)20:59 ID:zMIRi+X7(7/9) AAS
>>249
>ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね
ケドラヤが、それ否定していた
ショルツ指摘にダメだししていた
>「問題は3.12じゃなああい、3.11.5だああ」
>とか小細工かましてフカしてるあたり
もう一味加えないと
ギャップは埋まらないと見た
>ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...
省3
252: 07/17(金)21:35 ID:zMIRi+X7(8/9) AAS
>>251 補足
下記の 「ワイルズによるフェルマーの最終定理の証明」が、参考になる
ギャップがあったが、
ワイルズ氏はそれを埋めることができた
今回も同様と思う。ギャップがある。ギャップを埋められるかどうか？
一方、ショルツの指摘は真逆で、全然ダメで 箸にも棒にもかからないのだと
ケドラヤは、ショルツの見方を否定する
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
ワイルズによるフェルマーの最終定理の証明
省5
253: 07/17(金)21:40 ID:vYHSR94t(3/4) AAS
>>251
今からw
じゃあ未解決問題だとただの
だいたいがまともな態度してたらここまでバカにされねーよ低学歴w
254: 07/17(金)21:41 ID:vYHSR94t(4/4) AAS
>>251
未公開の謎方式で査読通した税金抜き集団の責任は？
メクラw
255: 07/17(金)21:47 ID:Y3NcRstE(1) AAS
メガネ、メガネ（探）
コンタクトだったわw
256: 07/17(金)22:33 ID:VZH20jp6(1) AAS
望月さんがこの中間発表を無視するようなことがあれば
大いに人望を失うのでは無いかな
257: 07/17(金)22:58 ID:UClbMCvY(1) AAS
これ以上失う人望があるのか？
258(1): 07/17(金)22:58 ID:zMIRi+X7(9/9) AAS
>>251 補足
>今からでも ギャップを埋められるか否か
>問題は、その一点じゃね？
時代が進まないと、ギャップに気付かないということは
数学史上しばしばあった
例えば、名誉教授スレで取り上げた リーマンの函数論
外部ﾘﾝｸ[html]:www.iwanami.co.jp
代数函数論 岩波
岩澤健吉 著 刊行日2019/07/26
＜試し読み＞
省12
259: 07/18(土)00:21 ID:tNVzwFR0(1/2) AAS
>>258
過去の天才持ち出して
ハッタリかますの意味ないから
260: 07/18(土)00:21 ID:tNVzwFR0(2/2) AAS
じゃあハッタリ偽学者の例も出せよ
チェリーピッキング加藤はお前は
261: 07/18(土)00:22 ID:j6YSwJUc(1) AAS
ですね
262(1): 07/18(土)09:06 ID:HVwj1DT/(1/3) 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/3) AAS
つづき
53:05しかしそれに対して私は申し上げたいことは不定性が実数に直接作用することを、え 、示唆していますが、これは望月の方法を
53:14正確に表したものではないんです。この分析では不定性はボリュームコンテナー
53:22の部分集合に作用するということであり、 従ってその実数上への影響を直接 トラッキングすることはできません。
53:31実数のサブセットに対する影響は このIUTによる
53:41ABC予想にいかなるの証明も、略 に押し込めることができるとショルツ
53:49スティクスは仮定してるわけです。その分析についてこの形として
53:57この実数が略 トッパーズ教授の
54:06スライドでありましたようにこの実数中で 図を用いて先ほどのスライドの
54:13実数の証明であるわけですが、従がって これはこの想定として、え、不等であると いうことは、略
省10
264: 07/18(土)09:30 ID:HVwj1DT/(3/3) AAS
>>262-263 補足
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
3名の立場は
１）ショルツ スティクス 分析は、望月氏の3.12を全否定しているが
しかし、その分析は不十分
２）望月氏の現時点のIUT論文から 形式的なLeanコードに 落とすことはできなかったが
何かを補えば 3.12を Leanコードに 落とすことが出来る可能性は残っている
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.676s*