Inter-universal geometryとABC予想(シン応援スレ) 92 (338ﾚｽ)
上下前次1-新
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.011s