Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92 (360ﾚｽ)
上下前次 1-新

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(4): 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: 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の絶対数学とか眉唾なものが

351: 07/19(日)21:17 ID:/UFaYt6V(1/3) AAS
>>349
慌て始めてるのがIUTじゃん
メクラw

352: 07/19(日)21:17 ID:/UFaYt6V(2/3) AAS
コピペ爺さんまじやべえな
文盲じゃね

353: 07/19(日)21:33 ID:nUKgsSja(12/13) AAS
>>334 追加
望月一派に捧ぐ
下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』”

頑張ってください
ICM2030日本開催をめざして

外部ﾘﾝｸ:www.gravityofdivine.com
The Gravity of Divine
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
20260511

目次
省13

354(1): 07/19(日)21:45 ID:vLR4xaTQ(3/4) AAS
（正確に定義できてないから検証に乗せられないのにね）

355: 07/19(日)22:02 ID:/UFaYt6V(3/3) AAS
半分w

356: 07/19(日)23:07 ID:nUKgsSja(13/13) AAS
>>354
ですね人？

今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校教授）
アダム・トパーズ/Adam Topaz（アルバータ大学准教授）
それに
加藤文元氏を加えた4人の数学者が
かなり論点整理をしてくれている>>334
省9

357: 07/19(日)23:13 ID:vLR4xaTQ(4/4) AAS
（つまり証明にはなってないってことね）

358: 07/20(月)00:40 ID:AtZID/Oc(1) AAS
IUT擁護派はバカしかいねーからな
まず精神分裂病みたいなまとまりのない文しか書けない
集合も論理もわかってないから一投稿の内部でも矛盾する

359: 07/20(月)04:34 ID:taEbqJD/(1) AAS
人格攻撃は不要
大事なのは証明の成否

360: 07/20(月)04:57 ID:nz34QvDF(1) AAS
今更何周遅れの話してんだこいつら
> 日本経済新聞
数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 1.023s*