Interuniversal geometry とABC 予想61
(430ﾚｽ)
上下前次1-新
64: 07/14(火)09:19 ID:wApvMEwJ(2/3) AAS
IUT擁護派になぜか多い統一在日朝鮮人＆創価在日朝鮮人の勝共キチガイ
こいつらがどう逃げるか楽しみ
まあ宗教系&笹川財団絡みの動員だろうが
65: 07/14(火)09:21 ID:wApvMEwJ(3/3) AAS
ゴールポスト移動するか
不当弾圧されたああアイゴーーとか喚くだろうねw
66: 07/14(火)10:03 ID:Ji5bdl+3(2/2) AAS
結果についてのコメントをPRIMSで発表すべきではないか
67: 07/15(水)00:38 ID:T6VyiOHf(1) AAS
なんでいつも逃げ回ってばかりなのか
68: 07/15(水)00:58 ID:xY4ZMxcX(1) AAS
玉川もなんかコメント出せよ
数学会の特別講演でもIUT関連は完全スルーしててみっともなかったなw
69: 07/15(水)08:55 ID:v7TWxnzO(1) AAS
玉川は玉川
望月は望月
70: 07/15(水)12:09 ID:48T+O0TB(1) AAS
政治的な税金抜き取り装置としてはデカすぎるせいで
同じ政治力による証拠隠滅ムーブも大きくなる可能性があルと思う
悲惨なルートを選ばないように
嫌なエンディングにならないよう
内側から外に向けて潔くごめんなさいするのがいいと思うよ
71: 07/15(水)13:29 ID:9Z/GuPjK(1/2) AAS
ショルツスティックス、ジョシに対するアカハラで
京大は懲戒処分をすべきだ
72(1): 07/15(水)16:47 ID:x0JdMxOs(1/2) AAS
山下真由子氏が対称性の物理分野で若手を対象としたWeyl prizeを受賞した。
IUT騒ぎの京大数理研を退職し現在、カナダのペリーメータ理論物理研究所と理研に所属している。
H.Weylは古典群の対称性と相対論から発展したゲージ位相の対称性より数学と物理へ貢献した。
過去の受賞者はE.Frenkel N. Nekrasov.立川裕二らがいる。
2026 選考委員会はN分配関数のN. Nekrasov議長で数学と物理其々を深く理解している。
外部ﾘﾝｸ:icgtmp.blogs.uva.es
73: 07/15(水)16:49 ID:9Z/GuPjK(2/2) AAS
TOKYO ICMでフィールズ賞かな？
74: 07/15(水)17:10 ID:x0JdMxOs(2/2) AAS
>>72
追記
荒らしのIUT 信者math jinとmath jin系IUT応援スレのスレ主はこのスレへカキコミと転記を禁止してます。
➖ ➖
Edward Frenkel @edfrenkel
返信先: @math_jinさん
Please stop. Otherwise, I will block you. Thanks.
20:07 - 2018年1月25日
やめてください。さもないとブロックします。ありがとうございます。
75(1): 07/16(木)08:35 ID:nT1a22Gl(1) AAS
いよいよ明日だな
公開処刑
3.11→3.12の形式化はやっぱり無理でした、かな
2年半、星が説明しつくしても、形式化出来ないんじゃ、少なくとも証明とはいえないよな
ま、当初から「間違ってさえいない」と言われてるように、ギャップがある（間違っている）というより、最初から証明になってない
76: 07/16(木)09:41 ID:tqIrWWsS(1) AAS
外部ﾘﾝｸ:zen.ac.jp
日時： 2026年7月17日（金）13:00〜14:15（予定）
番組配信：
YouTube （日本語チャンネル）：外部ﾘﾝｸ:www.youtube.com
YouTube （英語チャンネル）： 外部ﾘﾝｸ:www.youtube.com
ニコニコ生放送（日本語のみ）： 外部ﾘﾝｸ:live.nicovideo.jp
77: 07/16(木)11:04 ID:rguI9J+j(1) AAS
>>75
どうせ何も触れずにスルーでしょ
78: 07/16(木)21:12 ID:s1g35MC0(1/3) AAS
ゲラゲラw
ワラヒ
👇
新たな国産SNS「POPOPO」9月17日にサービス終了へ―取締役に西村博之、庵野秀明ら就任でも話題、約6か月で幕
外部ﾘﾝｸ:news.yahoo.co.jp
「POPOPO」サービス終了へ 提供開始から半年で
川上量生氏が全額出資するPOPOPOが、コミュニケーションサービス「POPOPO」の提供を9月17日に終了すると発表した。「今後の事業環境やサービスの最適化を総合的に検討した結果」という。
外部ﾘﾝｸ[html]:www.itmedia.co.jp
79: 07/16(木)21:25 ID:s1g35MC0(2/3) AAS
逃げた？？
何を持って？
👇
明日、中間報告が発表。発表に先立ち、この形式化検証を引き起こした元凶10㌻程度の原稿の第一著者Peter Scholzeは、2018年3月RIMS訪れた後望月教授との議論を完全に中断、議論の場から先に逃げたという事実を強調したい。さらには、2023年6月と12月二度にわたって送った望月教授のメールさえも無視。
IUTGtr
@IUTTOfSM1969
80(1): 07/16(木)21:40 ID:KgcmT+rI(1) AAS
山下サーベイ『A proof...』のRemark 3.4.4.
＞(1) It seems difficult to rigorously formulate the
＞meaning of "group-theoretic characterisation".【以下略】
＞(2) (Important Convention) In the same way, it also seems
＞difficult to rigorously formulate "there is a group-
＞theoretic algorithm to reconstruct" something in the sense
＞of mono-anabelian approach【中略】(If we use the language
＞of species and mutations (cf. [IUTchIV, §3]), then we can
＞rigorously formulate mono-anabelian statements without
＞mentioning the contents of algorithms).
省7
81: 07/16(木)21:40 ID:Qzlzovrb(1) AAS
Benjamin Collas
LANAは、多くの参加者が専門領域を越えて知見を持ち寄る、意欲的かつ革新的なプロジェクトです。この節目は、LANAにとって、その真価が試される「審判の日」と捉える向きもあるでしょう。しかし、IUT理論はLANAという枠組みをはるかに超えた存在です。IUT理論はLANAを超えて、なお歩み続けます。
82: 07/16(木)21:50 ID:s1g35MC0(3/3) AAS
>>80
じゃあどう証明したのww
83: 07/16(木)21:52 ID:STHNorLz(1) AAS
結局ジャーゴンとレトリックと精神論の塊の粗大ゴミだったってことだね IUT
84: 07/17(金)01:46 ID:eE51nH9G(1) AAS
・Scholze-Stix（2018）は
「この図式を具体的に追うと、pilot objectのconcrete normalizationを入れると矛盾（または平凡化）する」
と具体的な反例・計算の道筋を示した。
・望月側は「それは単純化の誤り」と返すが、その「誤り」を避けた具体的な計算例・修正図式を第三者に見せられていない。
・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
で詰まる報告が繰り返されている（2025年以降も進展報告なし）。
・2026年現在も
「具体的な楕円曲線（例：y² = x³ - x + 1 とか）で、Hodge theaterを1つ構築→Θ-link→log-link→不等式の数値評価」
のような最小限のtoy exampleすら公開・検証されたものがない。
85: 07/17(金)03:41 ID:NS8UzMP9(1) AAS
日本でしか認められない数学予想の物語
動画ﾘﾝｸ[YouTube]
86: 07/17(金)09:47 ID:L3nKRT1o(1/5) AAS
ある意味での厳密理論を取り扱うスペシャリストが感情でメチャクチャなことをやり始めるってのは
まあ大きな知見にはなったか
87(1): 07/17(金)11:47 ID:a+xJ6x68(1) AAS
ほい出たよ
外部ﾘﾝｸ:zen.ac.jp
ショルツとスティックスの下りワロタ
88: 07/17(金)12:17 ID:L3nKRT1o(2/5) AAS
>>87
まあ失望したとは誰も言わんだろうね。
こんなことだろうとみんな思ってたから。
89: 07/17(金)12:20 ID:dythpcIC(1/10) AAS
肝心のLEANは？
90: 07/17(金)12:25 ID:c3ojw30K(1/4) AAS
つまりどういうことだってばよ
91: 07/17(金)12:26 ID:c3ojw30K(2/4) AAS
つまりどういうことだってばよ
92(2): 07/17(金)12:34 ID:L3nKRT1o(3/5) AAS
ショルツの批判は望月の証明戦略を正確に表していないかもしれない。
しかし、望月の証明戦略を正確に表し直しても、必要な証明はまだ見つかっていない。
ということを言っとりますなぁ。
まあだいぶ苦しい言い訳だけど、ここまでの譲歩が連中ができるギリギリのことなんでしょうな。
93: 07/17(金)12:56 ID:MAZuLhMO(1) AAS
これで遠アーベル幾何の応用なくなっちゃったね
94: 07/17(金)13:17 ID:dythpcIC(2/10) AAS
PDF中に7月17日に公開されたLEANの解説ってあるけどGithubの URLとか微塵もないな
あとLANAでは体積計算を比較するpilot volume dataを構成する二つの経路が一致してるって証明がないらしいが、ワイのFable5のLEANコードでは結局IUT4のthm1.10でq^j^2の証明がないってとこで止まっとるけど経路の証明枠組みそのものは揃ってるってClaudeは言っとるな
まぁあってるかは知らんがな
95: 07/17(金)13:27 ID:dythpcIC(3/10) AAS
てか一部がAIによってかかれとるって宣言しとるな
全部AIの俺のとほぼ同じやない？
どうせ人間が関わっとる部分極小だろ
Fable5使ってる分俺のLEANの方が上まであるぞこれ
96: 07/17(金)13:31 ID:MXjr1UUB(1/6) AAS
発表会見てるけど、どうやらIUTの完全理解を目指してまだまだ続く、みたいだ
RIMSも参戦して、遠アーベル幾何学（復元）の完全形式化もすすめるらしい
多分年単位、下手すりゃ5年くらいかかんじゃね？
97: 07/17(金)13:47 ID:dythpcIC(4/10) AAS
結局ケドラヤが言っとるように鍵になるのは望月新一の言うとこのトートロジー的閉ループを証明が構成しとることよな
俺のプロジェクトのFable5の言い分と一緒やわ
98(1): 07/17(金)13:51 ID:dythpcIC(5/10) AAS
ん？？？LEAN公開しないのん？？めんどくせー俺の公開したくないんだが…公式で途中だからって出さないとか無能かよ
99: 07/17(金)13:52 ID:2do2FeBh(1) AAS
つまり何の進展も無かったということでしょくか
100: 07/17(金)13:58 ID:c3ojw30K(3/4) AAS
証明は無いが結論なの？ただの未完成品(完成できるかすら不明)？
101: 07/17(金)14:00 ID:vYHSR94t(1/10) AAS
「ショルツさん、ありがとうございいました」
が言えないだなあ
やっぱり
まあカスしかいねえからw
102: 07/17(金)14:02 ID:vYHSR94t(2/10) AAS
>>98
「ライブラリ作成がああある第一目標なんですうう」とか言ってたオッサン居たよなw
コイツww
👇
659 １３２人目の素数さん 2026/06/22(月) 08:19:54.53 ID:M/aVMyCz
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部ﾘﾝｸ:zen.ac.jp
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
省1
103: 07/17(金)14:07 ID:vYHSR94t(3/10) AAS
まあ、ライブラリ揃ってるのにも関わらず
証明できませんでした
って聞こえは素人も色々気付くからなw
ライブラリの進捗はIUT仕草でいつもの非公開w
いつまでもライブラリ未整備、整備中って言いながら税金抜きながら
IUTは間違ってない！ショルツがズレている
とか言い続けるんだろう
104(4): 07/17(金)14:18 ID:dythpcIC(6/10) AAS
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
外部ﾘﾝｸ:github.com
105: 07/17(金)14:20 ID:dythpcIC(7/10) AAS
Githubの使い方もあまり分かってないから公開方法も適当だが許せ
106(1): 07/17(金)14:30 ID:dythpcIC(8/10) AAS
こっちにも貼っとく
Opus4.8とFable5で作ったIUTの形式化
外部ﾘﾝｸ:github.com
107: 07/17(金)14:31 ID:dythpcIC(9/10) AAS
あぁスレミスったごめん
108: 07/17(金)14:45 ID:nlvnCiy/(1/5) AAS
7/17報告の要約
・3月時点と比べ状況説明の分解能が上がった程度でほぼ進展していない。
・3.12の不明点は明らかになった。それは ηq=ηanab の証明。見通しはまったく未知。結論を出すのに必要な期間も未知。
感想
・IUT理解者とされる星が参加してなぜ上記のような状況なのか？
・PRIMSは何をもって査読OKとしたのか？
まったく不可解としか言い様が無い。
109(2): 07/17(金)14:59 ID:MXjr1UUB(2/6) AAS
Scholze-Stixの指摘も微妙に的外れだというのも今回わかったわ
誰だよSSは正しいとかいって盲目的に崇めてたやつらはでてこいよ
110(1): 07/17(金)15:02 ID:23BpFpic(1/3) AAS
だからね、分かんないことは批判するもんじゃないのよ。
大人しく成り行きを傍観していれば良いんだよ。
111: 07/17(金)15:26 ID:vYHSR94t(4/10) AAS
>>109
どう理解したんだよgtrワラタw
お前ハッタリしかねーじゃん
112: 07/17(金)15:27 ID:vYHSR94t(5/10) AAS
>>110
わかんないことを査読で通して税金抜いてるカスの仲間か？
113: 07/17(金)15:28 ID:eCH6e6gJ(1/4) AAS
>>109
そんなことどこにも書いてないが
114(1): 07/17(金)15:31 ID:23BpFpic(2/3) AAS
>>92
これがどれくらいのラインの話かってことが重要なんじゃないの？
単なる言い訳かどうか、発表を聞いて分かったのかね…。
115: 07/17(金)15:32 ID:Sz3Na3lH(1) AAS
× IUT理論は難解で理解できない
◯ IUT理論は数学で書かれてないので数学ではない
◯ 数学でないものに数学者は興味ない
◯ IUT理論を数学の形で書き直すことに失敗した
116: 07/17(金)15:33 ID:23BpFpic(3/3) AAS
>>92
正確に表していないかもしれないとは、なかなか曖昧な表現だね。
117: 07/17(金)15:33 ID:GUSdW0+l(1/4) AAS
SSレポートにもおかしい部分はある
(けどそれでIUT正しいってことにはならない)
ってのはかなり最初から言われてただろ
結局埋めなければならない致命的ギャップを望月が自明と言って逃げ続けてるだけの虚構
星が一年以上つきっきりで埋められなかったんだからもう今後復活の目は完全に消えたよ
118: 07/17(金)15:39 ID:MCVHoeHn(1) AAS
SSはIUTを数学として解釈したらこうなるから意味がなくなるよね？という批判をした
望月はそれは数学的に間違っていると罵倒した
じゃあ数学として解釈するとどうなるの？という疑問に8年間回答できていない
元々が数学になってない以上、SSの議論もある意味例え話になってしまうのは仕方ない
119: 07/17(金)15:48 ID:L3nKRT1o(4/5) AAS
>>114
よっぽど頭のいかれたやつでない限り、やっぱり自明じゃないよねって思うわな
120: 07/17(金)16:03 ID:nlvnCiy/(2/5) AAS
IUT理解者とされる星が1年以上かかって疑惑部分だけ（他はすべてブラックボックス）の形式化すらできなかった
これがすべて
121: 07/17(金)16:13 ID:eCH6e6gJ(2/4) AAS
IUT理論が後世で形式化に成功する可能性は0ではないが
現時点でIUTを理解したと言い張ってる人は著者本人含めて勘違いか嘘つき
122: 07/17(金)16:18 ID:urH1Jf7c(1/4) AAS
2020年2月京大PRIMSはIUT論文を「完全な論文」として
受理した。
しかし今回もIUT論文の3.11→3.12は数学の証明が未完と確認した。
scholze stixは単純化の手法を使い問題点を指摘し、
では単純化の手法が間違いなら数学の証明には何が必要か？
を問うた。
LANA.ケドラヤより複雑にするも数学の証明はない
川上量生企画望月新一監修加藤文元著IUT本によれば、
IUTTは数学でなく自然言語でなく望月新一語のIUT語で書いてある。この点を質問したらいかが
123: 07/17(金)16:44 ID:Zm+HV7El(1) AAS
そもそもSSはギャップに対して2通りの解釈を提示していて、どっちを採用しても証明になってないと指摘している。
この時点で一意に解釈できる形で書けていない証左でもある。
望月はSSの解釈は間違ってると批判したが、正しい解釈を示すことはしなかった。
今回のプロジェクトで正しい解釈を形式化することを試みたが、難しそうだという結論が得られた。
124: 07/17(金)16:52 ID:eCH6e6gJ(3/4) AAS
トンデモ論文を書く人自体は世の中にはいるから受理したPRIMSが一番良くない
125: 07/17(金)17:00 ID:Y3NcRstE(1/3) AAS
primaham(ﾟдﾟ)ｳﾏｰ
126(1): 07/17(金)17:00 ID:MXjr1UUB(3/6) AAS
まあいくらこのスレのアンチ共が足掻いたって、LANAプロジェクト（主にKedrayaとtopaz）がSSの主張は解像度が低いと公の記者会見と発表レポートで述べてんだから、まずその点は認めろよ
ちゃんと今日の報告会を聞いたか？レポート（会場のパワポも）も読んだのか？
127(1): 07/17(金)17:09 ID:urH1Jf7c(2/4) AAS
はあ、結局
トパーズとケドラヤは3.11
→3.12の数学の証明ができないだろう。
128: 07/17(金)17:14 ID:eCH6e6gJ(4/4) AAS
後出しで「解像度の高い」主張を出してきたとしてもそれで当時のSSが間違ってたことにはならんよ
論文にその「解像度の高い」主張は書かれてないんだから
で、その「解像度の高い」主張すらまだ出せてない段階ね
129: 07/17(金)17:14 ID:nlvnCiy/(3/5) AAS
SSがどうとか関係ない
重要なのは証明になってるか否かだけ
130: 07/17(金)17:19 ID:vYHSR94t(6/10) AAS
>>126
解像度w
根拠は？
131: 07/17(金)17:21 ID:c3ojw30K(4/4) AAS
埋まらないギャップがあると指摘されて、実際埋められないことが分かったんやね。未完の大理論はロマンはあるが未完に過ぎないので査読に通ったのは早漏だったんや。問題の明確化にすらこれだけかかったんやから本人以外分かったフリしてただけちゃうんw
132: 07/17(金)17:22 ID:SumKiFv9(1/2) AAS
IUT理論は「間違ってすらない」ってのが全てなんだよなあ
間違ってすらないからいつまでも「間違いと決まったわけじゃない」で先延ばしできる
まずは数学の論文の形にしてねって話なんだが
133(1): 07/17(金)17:23 ID:vYHSR94t(7/10) AAS
プロジェクトではIUT理論のうち証明が不十分だとされる部分について、問題を絞り込むことができたという。加藤所長は「『これがわかればいい』というところがわかった」と話す。
👆
今更これw
134(1): 07/17(金)17:24 ID:MXjr1UUB(4/6) AAS
>>127
あんた今日の報告を見てないな
レス資格なし
135: 07/17(金)17:26 ID:SumKiFv9(2/2) AAS
>>133
8年前にショルツが指摘してくれたのに
136(1): 07/17(金)17:32 ID:urH1Jf7c(3/4) AAS
>>134
見てたよ 星逃亡
星裕一郎数理研准教授は
IUTへの質問から逃亡し、
こちらの遠アーベル幾何の研究集会は出席する
➖
【タイトル】：Arithmetic geometry, AI, and Lean
【日程】：2026年7月21日（火）〜23日（木）
【開催地】：東京都中央区銀座4-12-15 歌舞伎座タワー12F ドワンゴセミナールーム
【オーガナイザー】：
省9
137(1): 07/17(金)17:37 ID:GUSdW0+l(2/4) AAS
星も恥ずかしいやつだな
まあ逃げたという事実が全て、完全敗北確定
138(1): 07/17(金)17:59 ID:MXjr1UUB(5/6) AAS
>>136
で？
139(2): 07/17(金)18:01 ID:MXjr1UUB(6/6) AAS
>>137
星はまだ逃げてないよ
ずっとプロジェクトに関わる予定
そしてLANAもまだ説明続けるよ
Lepageも理解するのに2年かかったからな、まだ途中だろ
140: 07/17(金)18:17 ID:SrhRHEZ9(1) AAS
>>139
かわいそう
政治の木偶
141: 07/17(金)18:19 ID:UClbMCvY(1) AAS
星は出世のために研究室のボスに従うしかなかった被害者だろ
142: 07/17(金)18:21 ID:urH1Jf7c(4/4) AAS
>>138
前回もIUTの説明からにげたw
ケドラヤはlean形式化もIUTもど素人
トパーズはlean形式化が専門でも
遠アーベル幾何が専門だ。
IUTTは川上量生企画望月新一監修加藤文元著IUT本で決着している。
143: 07/17(金)18:37 ID:oWsNhB7+(1) AAS
>>104
LANAより進んでんじゃん
文科省から資金引き出せるのに
144: 07/17(金)18:48 ID:jAk+cZwN(1) AAS
Grokに訊ねたら、結局ScholzeとStixが2018年に指摘した点が
今回改めて自明でないと判定された、ということらしい
ダメじゃん（笑）
145: 07/17(金)18:52 ID:mo7THqtA(1/4) AAS
>>104>>106
👍
146(2): 07/17(金)18:59 ID:mo7THqtA(2/4) AAS
ss論文に完全敗北じゃん
もちろん、我々の解析とScholze-Stixの解析にはいくつかの共通点があることもここで述べておくべきでしょう。 おそらく最も重要な共通点は、両報告書とも「定理3.11から系3.12を導出する過程」に問題があることを指摘しており、この問題は「実数直線Rのコピーの識別」に関係しているという点である。しかし、前者の点についてさらに詳しく説明すると、Scholze-Stixは「提案された証明には深刻な問題があり、彼らの見解では、軽微な修正では証明戦略を救済できない」と主張しているが、我々は修正の可能性や難しさについて何ら主張するものではない。さらに、「abc予想」の証明が存在するか否かという問題については、LANA会員の多くは「原論文には少なくとも形式化可能な証明は含まれていない」という見解を持っているものの、この点に関して完全な合意には至っていない。
147: 07/17(金)19:03 ID:6sqqjbTM(1/2) AAS
これ望月さんが生きている間に何等かの決着はありそうですか？
148(1): 07/17(金)19:07 ID:GUSdW0+l(3/4) AAS
望月論文は肝心なところが伽藍堂なので無価値ということで
もう決着がついた
149: 07/17(金)19:18 ID:6sqqjbTM(2/2) AAS
>>148
受理された論文の扱いとか何も決着がついていません。
150: 07/17(金)19:23 ID:Y3NcRstE(2/3) AAS
次は1年を目処にって、記事に書いてあったなぁ。
その間、話すことがあるのかw
151: 07/17(金)19:23 ID:Y3NcRstE(3/3) AAS
このスレで
152: 07/17(金)19:28 ID:vYHSR94t(8/10) AAS
>>146
IUT側は根拠ゼロの感想でしかないのウケるwww
153: 07/17(金)19:30 ID:vYHSR94t(9/10) AAS
IUTおじさん「我々は修正の可能性や難しさについて何ら主張するものではない。」
👆
修正必要なん？
っていうかそれってさあ
そもそもが未解決という話では？
154: 07/17(金)19:57 ID:KVWdHmQm(1/5) AAS
abc予想は京都限定の定理と揶揄されてきたわけですが
結局分かりませんでしたみたいなことがニュースになるのも
日本でだけですね
他の地域ではとっくのとうに決着済みですから
ガラパゴス数学です
証明の有無が問題なわけですから
Scholze氏が何を言ったかは関係ありません
数学の成否を研究者の属性に帰するのは
IUT陣営にありがちな誤謬です
155: 07/17(金)20:04 ID:KVWdHmQm(2/5) AAS
形式化により確認できるのは
「正しいか否か」ではなく
「証明があるか否か」です
記者会見・レポートでごまかしていますが
成否が問題なのではありません
証明の有無が問題なのです
証明がなくとも正しいことはあります
「ZFCからRiemann仮説が従う」
はおそらく正しいですが証明がありません
「証明は自明、理解できない方が悪い」
省14
156: 07/17(金)20:13 ID:KVWdHmQm(3/5) AAS
ついでに言えば
LANAとS-Sとの差分は
どこまでナンセンスを認めるかの違いに過ぎないと思います
証明されていない"distinct arithmetic holomorphic structures"等々を
真面目に扱うか無視するかの違いです
記者会見でKedlaya氏がSummaryで
（等式証明は）"requires the commutativity of a diagram which
is not the one drawn by Scholze-Stix"
と未知の図式の可換性を証明することが進展の鍵になると言っていますが
これはまさにScholze氏がWoit氏のブログで繰り返してきたこと
省17
157: 07/17(金)20:34 ID:vYHSR94t(10/10) 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
ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...
158(1): 07/17(金)20:48 ID:o8MuFqe4(1) AAS
>>139
星がlean書けよ、て言われないのかな
159: 07/17(金)20:49 ID:GUSdW0+l(4/4) AAS
結局望月が自明と言い張っていた箇所は取り巻きの誰一人説明できず
造語のオンパレードのIUTは肝心部分の証明が存在しない空っぽの粗大ゴミであるを取り巻きたちもしぶしぶ認めたんだからもう完全敗北だよ
IUTで昇進・採用された奴らは全員辞職すべきだね
> Nevertheless, it reached the understanding that,
at least according to LANA’s present understanding, in the derivation from Theorem
3.11 to Corollary 3.12 there seems a point where a proof is not fully written, and that
this point can be specified as a problem of diagrammatic commutativity or id-ness.
多忙な身でこんなゴミの山の違法建築からダメな部分的確に見抜いただけでも
ショルツスティックスはやはり数理研の望月利権の凡夫たちとは一線を画していたな
160: 07/17(金)21:06 ID:uHUPcLmL(1) AAS
だいぶ厳しい指摘をされているな
161(1): 07/17(金)21:07 ID:y77BSKda(1) AAS
IUT理論をわかりやすく言うと
ある世界では意味を持つ情報を、
別の世界に移行させ情報を意図的に切り離し、
それでも比較可能な不変量だけを取り出す
という論理の組み立てです。
問題点を辛口に要約すると
独りよがりな新規な言葉や概念が非常に多い。
前提知識に数学上でも難しい理論を詰め込み過ぎ。
数学的対象をそのまま比較しないで、別の系統にすり替える。
純粋な数学的直観が変形して推論を押し進める。
省3
162: 07/17(金)21:51 ID:mo7THqtA(3/4) AAS
>>146
> Scholze-Stixは「提案された証明には深刻な問題があり、彼らの見解では、軽微な修正では証明戦略を救済できない」と主張しているが
ss論文から8年経ってもIUT理論によるABC予想証明を救済できなかったんだからScholze-Stixが正しかったじゃん
163: 07/17(金)22:05 ID:nlvnCiy/(4/5) AAS
百万歩譲って今後IUTのギャップが埋まる可能性があるとして
現時点で証明が無いことは確定でしょ？
そのことに対してなんで望月はダンマリなん？
上下前次1-新書関写板覧索設栞歴
あと 267 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s