Inter-universal geometryとABC予想(シン応援スレ) 92 (338ﾚｽ)
上下前次1-新
280(1): 07/18(土)21:47 ID:HVwj1DT/(7/10) AAS
>>273-279
『僕の前に道はない
僕の後ろに道は出來る』高村光太郎
数学の進歩とは 数学の証明とは
そうしたものだ
外部ﾘﾝｸ[html]:www.aozora.gr.jp
道程
高村光太郎
底本：「美の廢墟第六號」美の廢墟社
1914（大正3）年3月5日発刊
省15
281(1): 07/18(土)21:57 ID:tNVzwFR0(5/7) AAS
>>280
ズレまくり
偉人を騙った紛い物w
282(1): 07/18(土)21:58 ID:tNVzwFR0(6/7) AAS
証明できずにポエムマンw
しかもコピペで丸パクリ
文脈解釈能力ゼロ
ポエムでもゴミ
これがIUT擁護派おじさんw
283(1): 07/18(土)22:42 ID:HVwj1DT/(8/10) AAS
>>281-282
『証明できずに・・』？
いみわからん？ｗ
わたしゃ 第三者で ヤジ馬ですがな
明々白々にねｗ （＾＾
だが、親カメこけたら？
上に乗っている子ガメはどうなる？
望月氏は、すでに教授で スゴロクの上がりだが
星さん 准教授
（星氏の学生） 東山 和巳
省15
284: 07/18(土)22:48 ID:HVwj1DT/(9/10) AAS
>>283 追加
おっと、山下剛さん 忘れていた
山下剛さん 出番ですよ
がんばって！ （＾＾
285: 07/18(土)22:58 ID:HVwj1DT/(10/10) AAS
補足
>>264 ジョルダン曲線定理 みたく
多くの数学者が ”自明”と考えてきた命題で
後に 要証明事項とされたことは 多々ある
そして、なんらかの形で その命題自身か
あるいは その命題の変形などに
後に証明が与えられたことも多い
今回の 望月IUT 3.12も
そうできる可能性はある
それが、今回のLEAN プロジェクト >>264
省5
286: 07/18(土)23:01 ID:hqlf3v2g(1) AAS
阪大工学部で数学落ちこぼれた素人が
わけもわからずシッタカぶって恥さらす
287(2): 07/18(土)23:03 ID:s4oDEHbd(5/5) AAS
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
擁護派頭わっる
288: 07/18(土)23:11 ID:tNVzwFR0(7/7) AAS
>>287
ただの未解決問題だよなw
289(1): 07/19(日)07:48 ID:nUKgsSja(1/9) AAS
>>287
(引用開始)
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
(引用終り)
違うだろｗｗ
数学では、しばしば有力な予想が出されて
それが、推進力になる
省16
290(1): 07/19(日)09:15 ID:tZJSVLSb(1/12) AAS
>>289
>違うだろｗｗ
何も違わない
>数学では、しばしば有力な予想が出されて
>それが、推進力になる
IUTは無力な予想。実際、数学論文における引用数は極めて少なく且つ身内からの引用に限られている。
Q.望月教授のIUT理論の他論文からの引用数はどんな感じ？
A.望月新一教授が提唱した「宇宙際タイヒミュラー（IUT）理論」の他論文からの引用数は、世界の数学界全体で見ると極めて少ない（ほぼ身内のコミュニティに限られている）のが現状です。一般的な大発見（ポアンカレ予想やフェルマーの最終定理など）の後は、周辺の数学者がその理論を使って新しい成果を次々と生み出し、引用数が爆発的に増えます。しかし、IUT理論にはそのような広がりが見られません。
291(1): 07/19(日)09:28 ID:tZJSVLSb(2/12) AAS
同じ予想でもリーマン予想には予想の地位に足る十分な根拠が存在する。実際虚部が小さい方から10兆個までの複素零点はすべてリーマン予想を満たすことが計算されている。
ところが望月予想には望月一派が正しいと言い張っていること以外何ひとつ無い。引用数が極めて少ないのも当然だろう。
292: 07/19(日)09:53 ID:nUKgsSja(2/9) AAS
>>290-291
余談だが、
国際数学者会議（ICM）2026 7月23日から30日までペンシルベニア州フィラデルフィアで開催
その中で、幾何学的ラングランズ対応 Dennis Gaitsgory が、招待講演者
Dennis Gaitsgory 自身は、40歳オーバーなので フィールズ賞はない
が、確か9人の共著だったから、その内の若手が フィールズ賞の可能性があるので 注目している
本題との関連は、
”この証明は5つの論文にまたがる1000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と言われている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に難しく、ほとんど不可能」だと述べている”
の部分だ
望月IUTも4つの論文にまたがる700ページで、準備論文を入れると それ以上
省15
293(1): 07/19(日)10:16 ID:tZJSVLSb(3/12) AAS
>そして、望月IUTのギャップが 果たして 望月一派の努力で埋められて Leanに乗せられるのか？
>請う ご期待！
期待しても無駄。
IUT理解者のはずの星が1年以上かかって埋められなかったということはまったくの白紙ということ。同じく白紙の他の難問たちと同じ立ち位置ということ。
294(2): 07/19(日)10:18 ID:ZTSfMBBa(1/4) AAS
その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ
295(3): 07/19(日)10:19 ID:ZTSfMBBa(2/4) AAS
サテライト集会はあちこちで
始まっている
296(1): 07/19(日)10:23 ID:v4Jkb0Zv(1) AAS
>>293
もう8年ですよ
ss論文から
297(1): 07/19(日)10:29 ID:S1PMNEss(1/13) AAS
>>295
具体例はw
キチガイ妄想ワラタ
298(3): 07/19(日)10:36 ID:ZTSfMBBa(3/4) AAS
>>297
ラトガース大学で
日本からは
K池とK↓部が
出席
299: 07/19(日)10:37 ID:ZTSfMBBa(4/4) AAS
ICMのサテライト
300(1): 07/19(日)10:47 ID:tZJSVLSb(4/12) AAS
>>296
>>277
君、字読めない？
301(1): 07/19(日)11:12 ID:nUKgsSja(3/9) AAS
>>294-295 >>298
ID:ZTSfMBBa は、御大か
巡回ありがとうございます
コメントありがとうございます
なるほど・・・
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
省8
302: 07/19(日)11:14 ID:S1PMNEss(2/13) AAS
>>298
あちこちとは？w
303: 07/19(日)11:14 ID:S1PMNEss(3/13) AAS
1=たくさんIUT
304: 07/19(日)11:15 ID:S1PMNEss(4/13) AAS
>>300
その遠吠えは痛いw
反論できずにクソ漏らしw
まさにIUT
305: 07/19(日)11:15 ID:tZJSVLSb(5/12) AAS
擁護派「ABC予想の証明はありまぁす」
306(1): 07/19(日)11:16 ID:nUKgsSja(4/9) AAS
>>301 タイポ訂正
さらには、いまのLean化で見つかった 3.12へ至るルートでの
↓
さらには、いまのLean化で見つかった 3.12へ至るルートでのギャップについて
面白くなってきましたね （＾＾
307: 07/19(日)11:18 ID:S1PMNEss(5/13) AAS
>>306
全体ゴミなのにタイポくらい気にするなよ
まずは統合失調系の文章をまとめろ
お前はまずそこから始めろ
308(1): 07/19(日)11:19 ID:S1PMNEss(6/13) AAS
IUTがredditでボコボコにされてるのに
何も言い返せず愚か者だとか遠吠えしちゃうIUTgtrおじさんw
このスレのおっさんとそっくりw
309(1): 07/19(日)11:19 ID:tZJSVLSb(6/12) AAS
>面白くなってきましたね （＾＾
ギャップが明確になり埋める見通しは皆無と宣言されたことが？
310(1): 07/19(日)11:20 ID:tZJSVLSb(7/12) AAS
>全体ゴミなのにタイポくらい気にするなよ
それなｗ
311(1): 07/19(日)11:20 ID:S1PMNEss(7/13) AAS
ここで喚いてるIUT擁護派は何でredditとかnot even wrongに突入しないの？
まあここでタコ殴りにされてんだから外じゃ無理だわな
312(1): 07/19(日)11:29 ID:S1PMNEss(8/13) AAS
さすがに京大にせかされてイヤイヤ動き始めたんかね
313(1): 07/19(日)11:32 ID:S1PMNEss(9/13) AAS
Xとかここにいる攻撃的なIUT擁護派が
日本向けの日本語だけで宣伝してんのが謎なんだよな
まあ日本で税金吸えりゃいいかみたいな動機で動員されてるなら納得
314: 07/19(日)12:23 ID:N8CYLd3Y(1/2) AAS
もっちーがハーバードで講師をしていたとき、ケドラヤもハーバード大にいた?
315(2): 07/19(日)13:19 ID:nUKgsSja(5/9) AAS
>>308-313
>IUTがredditでボコボコにされてるのに
それは 所詮場外乱闘でしかない
redditで 勝った負けたは、関係ない
一方 >>294-295 >>298の
ID:ZTSfMBBa 御大の
プロ数学者での情報
これは、なるほどですな
”その中の中核的な等式については
説明可能らしい
省28
316: 07/19(日)13:23 ID:S1PMNEss(10/13) AAS
まーたコピペか
命題もない
根拠もない
ただのクソ漏らし精神障害w
317(1): 07/19(日)13:27 ID:QD0XrQAK(1) AAS
LEANでどこに証明が不足してるのかが分かったとして、
そもそもIUTは直感的に正しいと信じていた連中はこの長い期間を通して
IUTの正しさについてより精緻な理解を深められたんだろうか？
あまり楽観的なムードは感じないんだが
318(1): 07/19(日)13:51 ID:vLR4xaTQ(1) AAS
>>317
それ聞いてみたいですね
星さんと玉川さんと加藤さんとにかな
あと
フェセンコって人はどんな反応をしたのかな
319(1): 07/19(日)14:34 ID:tZJSVLSb(8/12) AAS
>>315
>redditで 勝った負けたは、関係ない
じゃあLANAでギャップが明確化され解決の見通しは皆無と宣言されたことは？
320: 07/19(日)14:41 ID:tZJSVLSb(9/12) AAS
加藤は正しいと信じてたん？
金曜の様子だと正しさには執着してない感じだったけど、宗旨替えしたってことかな？
321(1): 07/19(日)14:41 ID:S1PMNEss(11/13) AAS
>>315
ここは外野ではw
322: 07/19(日)15:04 ID:qM9zcg/w(1/2) AAS
あいつはIUTは金儲けの種の一つくらいにしか思ってないだろ
それくらい下品でゲスな人間
323: 07/19(日)15:27 ID:N8CYLd3Y(2/2) AAS
将棋のプロの山下氏は生まれがノッティンガム。
父上のゴーさんがフェセンコのところでポスドクだったからか。
J. Stixもフェセンコのところでポスドクだった？
324: 07/19(日)15:31 ID:qM9zcg/w(2/2) AAS
フェセンコもどこまで貢献があるか知らんけど
一応フィールズ賞取る弟子までいたのに
ずいぶん落魄れたもんだね
325(2): 07/19(日)17:11 ID:nUKgsSja(6/9) AAS
>>321
>ここは外野ではw
ここは 天下のメモ帳だ
が、たまにプロ数学者の巡回があって
プロ数学界情報を書いてくれる
戦線を拡大しすぎても よろしくないだろうさ
326(1): 07/19(日)17:17 ID:nUKgsSja(7/9) AAS
>>325
”古池や蛙飛びこむ水の音”
いま、LEANプロジェクトから 一石投げられ
波紋が広がっている
それを 注目していれば良い
これから、いろいろ動きがあるだろうから
外部ﾘﾝｸ:ja.wikipedia.org
古池や蛙飛びこむ水の音
327(1): 07/19(日)17:33 ID:nUKgsSja(8/9) AAS
>>326
＜波紋の一つ＞
外部ﾘﾝｸ:zen.ac.jp
2026/07/17
プレスリリース
IUT理論のコンピューターによる検証を目指す LANAプロジェクト、「Project LANA Interim Report on IUT Theory」を公開
——現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
公開文書「Project LANA Interim Report on IUT Theory」概要
この報告書は、LANAプロジェクトがこれまで進めてきたIUT理論の検証作業について、現時点での到達点と今後の課題をまとめた中間報告です。まず、IUT理論が発表されて以降の経緯と、それをめぐる議論の流れを整理し、LANAプロジェクトがどのような立場から検証を進めてきたのかを説明します。そのうえで、少なくとも多くのプロジェクトメンバーにとって、IUT理論の第3論文の、定理3.11から系3.12を導く過程に不明瞭な点があることを指摘します。
問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点、あるいは、アルゴリズムの出力から得られる複数の可能なデータのうちの一つが、入力から定まるデータとどのように同一視されるのか、といった点について、IUT理論の原論文の記述は明瞭に追跡可能とは言えないという点にあります。報告書は、2018年のScholze–Stix報告との関係にも触れつつ、IUT理論の正否について最終判断を急がず、論点を整理し、今後の研究、国際的議論、形式化作業の基盤を示すことを目指すと述べています。
省19
328: 07/19(日)17:37 ID:tZJSVLSb(10/12) AAS
馬鹿が何言ってんだか
329(1): 07/19(日)17:42 ID:dIige2Ai(1/3) AAS
>>318
加藤はこのプロジェクト発足のコメントを読んでも
当時は既に疑ってたはず
星も昨年末には形式化は無理だと考えていただろう
330(1): 07/19(日)17:43 ID:PUqsP0tr(1/2) AAS
>>319
LANAは解決できないと断言したわけではないが
331(1): 07/19(日)17:44 ID:PUqsP0tr(2/2) AAS
>>329
星も望月も山下もYangも今形式化に取り組み始めてると報告されてたよ
形式化出来ないとは考えてないと思うよ
332: 07/19(日)17:54 ID:S1PMNEss(12/13) AAS
>>325
IUT擁護派はすぐダブルスタンダードでクソ漏らすからな
ほんとテメエで何描いてるかわからないゴミw
333: 07/19(日)17:55 ID:S1PMNEss(13/13) AAS
ID:nUKgsSja
すぐ自己矛盾するキチガイ哀れ
334(2): 07/19(日)18:15 ID:nUKgsSja(9/9) AAS
>>327 補足
>報告書全文 ▶
>外部ﾘﾝｸ[pdf]:github.com
>8. On the logic from theorem 3.11 to corollary 3.12
>9. Points to be clarified
いま、ざっと斜め読みしてみた
P44 Figure 6. The η algorithm
が、キモだろうね
その解説が
直後の 9.1. The η algorithm. で
省6
335: 07/19(日)18:46 ID:tZJSVLSb(11/12) AAS
>>330
誰もそんなこと言ってないけど君、幻覚でも見えるの？
336: 07/19(日)18:47 ID:dIige2Ai(2/3) AAS
>>334
手順がないものをalgorithmと呼ぶ時点で狂ってたな
337: 07/19(日)18:47 ID:dIige2Ai(3/3) AAS
>>331
えー
338: 07/19(日)18:51 ID:tZJSVLSb(12/12) AAS
>>334
読めないのに無理しなくていいよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s