Inter-universal geometryとABC予想(シン応援スレ) 92 (387ﾚｽ)
上下前次1-新
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/7) AAS
>>258
過去の天才持ち出して
ハッタリかますの意味ないから
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(5): 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(1): 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へ「お前らは間違いだ」と書簡は送ったのかな？
送ってないのなら今すぐ送るべきだろ
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/13) 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/13) 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/15) 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/13) AAS
>>294-295 >>298
ID:ZTSfMBBa は、御大か
巡回ありがとうございます
コメントありがとうございます
なるほど・・・
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
省8
302: 07/19(日)11:14 ID:S1PMNEss(2/15) AAS
>>298
あちこちとは？w
303: 07/19(日)11:14 ID:S1PMNEss(3/15) AAS
1=たくさんIUT
304: 07/19(日)11:15 ID:S1PMNEss(4/15) 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/13) AAS
>>301 タイポ訂正
さらには、いまのLean化で見つかった 3.12へ至るルートでの
↓
さらには、いまのLean化で見つかった 3.12へ至るルートでのギャップについて
面白くなってきましたね （＾＾
307: 07/19(日)11:18 ID:S1PMNEss(5/15) AAS
>>306
全体ゴミなのにタイポくらい気にするなよ
まずは統合失調系の文章をまとめろ
お前はまずそこから始めろ
308(1): 07/19(日)11:19 ID:S1PMNEss(6/15) 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/15) AAS
ここで喚いてるIUT擁護派は何でredditとかnot even wrongに突入しないの？
まあここでタコ殴りにされてんだから外じゃ無理だわな
312(1): 07/19(日)11:29 ID:S1PMNEss(8/15) AAS
さすがに京大にせかされてイヤイヤ動き始めたんかね
313(1): 07/19(日)11:32 ID:S1PMNEss(9/15) AAS
Xとかここにいる攻撃的なIUT擁護派が
日本向けの日本語だけで宣伝してんのが謎なんだよな
まあ日本で税金吸えりゃいいかみたいな動機で動員されてるなら納得
314: 07/19(日)12:23 ID:N8CYLd3Y(1/2) AAS
もっちーがハーバードで講師をしていたとき、ケドラヤもハーバード大にいた?
315(2): 07/19(日)13:19 ID:nUKgsSja(5/13) AAS
>>308-313
>IUTがredditでボコボコにされてるのに
それは 所詮場外乱闘でしかない
redditで 勝った負けたは、関係ない
一方 >>294-295 >>298の
ID:ZTSfMBBa 御大の
プロ数学者での情報
これは、なるほどですな
”その中の中核的な等式については
説明可能らしい
省28
316: 07/19(日)13:23 ID:S1PMNEss(10/15) AAS
まーたコピペか
命題もない
根拠もない
ただのクソ漏らし精神障害w
317(1): 07/19(日)13:27 ID:QD0XrQAK(1) AAS
LEANでどこに証明が不足してるのかが分かったとして、
そもそもIUTは直感的に正しいと信じていた連中はこの長い期間を通して
IUTの正しさについてより精緻な理解を深められたんだろうか？
あまり楽観的なムードは感じないんだが
318(1): 07/19(日)13:51 ID:vLR4xaTQ(1/4) 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/15) 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/13) AAS
>>321
>ここは外野ではw
ここは 天下のメモ帳だ
が、たまにプロ数学者の巡回があって
プロ数学界情報を書いてくれる
戦線を拡大しすぎても よろしくないだろうさ
326(1): 07/19(日)17:17 ID:nUKgsSja(7/13) AAS
>>325
”古池や蛙飛びこむ水の音”
いま、LEANプロジェクトから 一石投げられ
波紋が広がっている
それを 注目していれば良い
これから、いろいろ動きがあるだろうから
外部ﾘﾝｸ:ja.wikipedia.org
古池や蛙飛びこむ水の音
327(1): 07/19(日)17:33 ID:nUKgsSja(8/13) 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/5) 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/15) AAS
>>325
IUT擁護派はすぐダブルスタンダードでクソ漏らすからな
ほんとテメエで何描いてるかわからないゴミw
333: 07/19(日)17:55 ID:S1PMNEss(13/15) AAS
ID:nUKgsSja
すぐ自己矛盾するキチガイ哀れ
334(5): 07/19(日)18:15 ID:nUKgsSja(9/13) 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/5) AAS
>>334
手順がないものをalgorithmと呼ぶ時点で狂ってたな
337: 07/19(日)18:47 ID:dIige2Ai(3/5) AAS
>>331
えー
338: 07/19(日)18:51 ID:tZJSVLSb(12/12) AAS
>>334
読めないのに無理しなくていいよ
339(1): 07/19(日)18:52 ID:nUKgsSja(10/13) AAS
転載：ID:dythpcIC さん、ありがと
2chｽﾚ:math
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
外部ﾘﾝｸ:github.com
Opus4.8とFable5で作ったIUTの形式化
340: 07/19(日)19:03 ID:S1PMNEss(14/15) AAS
まーたコピペIUT仕草でクソ漏らし始めたw
論破されるとすぐこれだからなあIUT擁護派って
341(1): 07/19(日)19:19 ID:/OKcu5l/(1/2) AAS
Set Aは四年前は
”2026年のICMでは、望月新一がABC予想解決で招待講演する”
とかフカしてたが、今はとてもそんな状況ではないと観念したはず
もう負け犬の遠吠えはやめとけ
工学部卒の数学素人が何を言っても無駄
342(1): 07/19(日)19:21 ID:/OKcu5l/(2/2) AAS
＞問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点
これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか
343: 07/19(日)19:24 ID:mRLH3SpR(1) AAS
沖のカモメにふかしイモ取られて、ツイてね～♪
344(1): 07/19(日)19:35 ID:dIige2Ai(4/5) AAS
>>342
@FumiharuKato 7月7日
数学においてもっとも深遠でもっとも危険な概念は「等しい」ということだ。ふたつの抽象的構造を等号で結ぶことだ。
345: 07/19(日)19:35 ID:SacczO1f(1/2) AAS
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■□■■■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■■■■■■□■■■■■■
■□□□□□□□□□□□■■□□□□□□□□□□□■■■□□□□□□□□□■■■■■■■■□■■■■■■
■■■■□■■■□■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■□□□□□□□□□□□■
■■■■■□□□■■■■■■□□□□■□■□■□■■■■■■■■■■■■■■■■■■■□■■■□■■■■
■■■■□□□□□■■■■■□■■□■□■□□□■■■■■■■■■■■■■■■■■□□□□□□□□□□■
■□□□■■■■■□□□■■□■■□□□□□□□□■■□□□□□□□□□□□■■■□■■■■■□■■■■
■■□□□□□□□□□■■■□□□□■■□■□■■■■■■■□■■□■■■■■■■□■■□□□■■■■■
■■■□□□□□□□□■■■□■■□□□□□□□□■■■■■□■■□■■■■■■■□■□■■■□□■■■
■■□□■■□■■■□■■■□□□□■□■□■□□■■■■■□■■□■■■■■■■□■■□□□■■□□■
省5
346: 07/19(日)19:36 ID:SacczO1f(2/2) AAS
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■■■□■■□□□■■■■■■■□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■□□■■■□■■□□□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□□□■■■■■■■■□■■■■■■■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■□■■■■■■□□□□□□□□□□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■■□■■■■■■■□■■■□■■□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■□■■■□□■■■■■□□□■■□□□■■■■■■□□■■■■■□■■■■■■■■
■■■■■■■■■■□■■■■■□□■■■□■□■□■■□□■■■■■■■□■■■□□■■■■■■■■■
省3
347(1): 07/19(日)20:17 ID:S1PMNEss(15/15) AAS
>>344
そういうのって
「すげえ危険なことやってんだぜえー」
みたいな幼稚なレトリックだよ
加藤とかガチで幼稚だろ
文章も汚ねえし
348: 07/19(日)20:27 ID:dIige2Ai(5/5) AAS
>>347
単発で見るとレトリックっぽいが
実際には非常に具体的な望月のミスった箇所の指摘なんだよ
望月への配慮から事例として上げてないが
349(1): 07/19(日)20:39 ID:nUKgsSja(11/13) AAS
>>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず
まあ、そう慌てるな
慌てる乞食は貰いが少ない
たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る
要するに いまのLean 証明に乗せればいいだけでしょ
省7
350: 07/19(日)20:56 ID:vLR4xaTQ(2/4) AAS
遠アーベル自体がなんか変な分野なんだよな
そこにさらにF1の絶対数学とか眉唾なものが
上下前次1-新書関写板覧索設栞歴
あと 37 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s