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

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

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大学

361: 07/20(月)05:52 ID:yfXAOadu(1/2) AAS
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□
□■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□
□□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□
□□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□
□□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□
□■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□
□□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□
□□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□
□□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□
省4

362: 07/20(月)05:52 ID:yfXAOadu(2/2) AAS
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□
省4

363: 07/20(月)08:28 ID:OURAIP0F(1/4) AAS
『POPOPO』開発8年、川上量生が私財30億円突っ込み4ヶ月でサ終！ひろゆき庵野秀明 GACKTが参画 [977790669]
2chｽﾚ:news

364: 07/20(月)08:29 ID:OURAIP0F(2/4) AAS
ひろゆき「POPOPOのサ終の真因は『川上さんの心が折れた』こと。川上さんにとって30億円は端金なんで金が原因ではないです」 [153736977]
2chｽﾚ:poverty

365: 07/20(月)08:29 ID:OURAIP0F(3/4) AAS
【高市】川上「POPOPOは100億かけたけ足りなかった。1000億なら成功してた」アンチ「3兆でも無理だろ」川上「あなたがやればね」 [856698234]
2chｽﾚ:poverty

366: 07/20(月)08:29 ID:OURAIP0F(4/4) AAS
【高市】川上「POPOPOは30億かけたけ足りなかった。1000億なら成功してた」 [856698234]
2chｽﾚ:news

367: 07/20(月)08:40 ID:a0+1odGL(1) AAS
>>334 補足
外部ﾘﾝｸ:zen.ac.jp
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
外部ﾘﾝｸ[pdf]:github.com
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17

抜粋
P44
画像ﾘﾝｸ[jpeg]:i.imgur.com
Figure 6. The η algorithm
省15

368: 07/20(月)09:18 ID:tXBgWMjQ(1) AAS
昔は日本では認められなかった理論が
外国で評価されて話題になったものだったが

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

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

ぬこの手ぬこTOP 0.027s