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

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

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

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/4) 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(2): 07/20(月)08:40 ID:a0+1odGL(1/7) 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(1): 07/20(月)09:18 ID:tXBgWMjQ(1) AAS
昔は日本では認められなかった理論が
外国で評価されて話題になったものだったが

369: 07/20(月)15:41 ID:a0+1odGL(2/7) AAS
sage

370: [set] 07/20(月)16:07 ID:4Gvstadc(1/2) AAS
>>367
あくまで神風が吹くことを期待する
国粋🐎🦌のSet A

いとをかし

371(1): 07/20(月)16:31 ID:a0+1odGL(3/7) AAS
>>368
>昔は日本では認められなかった理論が
>外国で評価されて話題になったものだったが

ID:tXBgWMjQ は、御大か
巡回とレスありがとうございます

企業では、SONYが有名ですね
江崎玲於奈さんは、ノーベル賞

372: 07/20(月)16:33 ID:a0+1odGL(4/7) AAS
>>371
追加
(参考)
ja.wikipedia.org
SONYの歴史

ja.wikipedia.org
江崎玲於奈（1925年〈大正14年〉3月12日[1] - ）
1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞
1956年、東京通信工業株式会社（現在のSONY）に移籍する

373: 07/20(月)16:38 ID:mnKr1/Da(1) AAS
江崎グリコ

374(1): 07/20(月)17:16 ID:a0+1odGL(5/7) AAS
星裕一郎先生
元気ですね
頑張ってください

下記
Makoto Matsumoto AMAGAERU Institute of Free Mathematics
は、松本眞先生か

(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
星裕一郎のホームページ
講演
省15

375(1): 07/20(月)17:31 ID:4Gvstadc(2/2) AAS
発●するSet A

おだいじに

376(1): 07/20(月)18:19 ID:AtZID/Oc(2/4) AAS
IUT擁護派おじさんが発狂コピペしててワラタw

【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]
2chｽﾚ:scienceplus

377(1): 07/20(月)20:07 ID:a0+1odGL(6/7) AAS
>>375-376
つまらん

それよか下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”

いまどきのAI使った世間のアマ数学者個人の仕事が
すごいねと思ったよ
省38

378: 07/20(月)20:19 ID:a0+1odGL(7/7) AAS
>>377 追加
>が、これもしばしばあるが、
>”自明”されたことが結局後世にキチンと数学的に証明されることは多い

実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは体積崩壊定理を証明せずに用いた
それを証明したのが塩谷・山口氏です

(google検索)
ポアンカレ予想証明塩谷・山口定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です
省14

379: 07/20(月)20:49 ID:uqomNNcQ(1) AAS
Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。

380: 07/20(月)22:23 ID:AtZID/Oc(3/4) AAS
IUT擁護派おじさんついにバックレるの巻

👇

157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる

ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
2chｽﾚ:scienceplus

381: 07/20(月)22:24 ID:AtZID/Oc(4/4) AAS
論破されてコピペで精神分裂投稿連打でクソ漏らし

IUT仕草でございますw

382: 07/20(月)22:35 ID:B6WVrHSM(1) AAS
ですね

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

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

ぬこの手ぬこTOP 0.029s