[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
26: 2024/08/19(月)21:38:49.68 ID:PjMKfSns(1) AAS
今の路線のままやってれば、ブレーキ踏んで
なんで鼻毛ツアーだけ
103: 2024/09/17(火)11:10:45.68 ID:Ertzyzj3(1) AAS
素人丸出しの質問の例
「ブラウアー群て何ですか」
170: 2024/11/06(水)21:06:07.68 ID:kVc/WPyF(2/3) AAS
>>158
トンデモ理論に言及するのは時間の無駄だからな
329: 01/02(木)07:14:15.68 ID:nMDVEEpX(1) AAS
純粋数学には出しにくい世の中になった
370: 01/06(月)22:49:21.68 ID:JyeOXl8N(1) AAS
>>365
Leanというプログラミング言語が新しいのはそうなんだけど、今の時代にAIと言えば生成AIみたいなのを言うんであって、「形式的に書いた証明をコンピュータで検証する」ことをAIと呼ぶとすれば黎明期的な感覚だと思う
373: 01/06(月)23:31:00.68 ID:9UX2nEoa(1) AAS
なんか尊師の陰謀論ってことごとくブーメラン発言なんだよな
やっぱりやましいことがあると日頃の無意識のストレスが祟って語るに落ちるになるんだろうね
はよゲロしてごめんちゃいした方が自身の数学にとっても人生にとってもよっぽど良かっただろうに
まあブログ見ても罵倒怪文書見ても謝れない幼稚な性格なんだろうな
392(2): 01/20(月)18:09:00.68 ID:ETHNYRsv(1) AAS
p.scholze
・数学ニューホライズン賞.2016年 辞退
・フィールズ賞 2018年
2 IUTTの位置づけ。
・川上量生あとがき望月新一監修加藤文元著
「宇宙と宇宙をつなぐ数学」によれば「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、全く新しいフレームワークと言語・概念体系を基盤として構築されている」で決定してる。
・prims編集委員会でもIUT論文受理の記者会見で「IUTTは全く新しい理論でIUT論文は完全」と見解を述べた、その後加藤文元IUGC所長はNHKスペシャルにてIUTTは言語から未完成と述べた。
省2
507: 03/29(土)18:48:33.68 ID:QTZ5zCL7(1) AAS
woit氏は柏原氏の仕事にも造詣が深い
>>499
511: 04/02(水)12:01:12.68 ID:EwKikMiH(1) AAS
>柏原教授は先ずIUT論文を取り下げ査読過程を明らか にすること。
柏原教授にその権限があることを知っている？
574(2): 05/31(土)14:43:35.68 ID:FnG0XvYC(1) AAS
これで思い出し書き込んだが
AIが進化してきたし数学論文の完全性をチェックするやつ作ればいい
朝日新聞 2025年5月31日
数学「ABC予想」は証明されたか 論文受理から5年、論争は迷宮へ
617: 06/05(木)00:48:37.68 ID:Bw2dEODy(1/26) AAS
とりあえず100万トークン入るGPT-4.1とGemini 2.5 Proなら4論文全てを読み込ませて解説させることが可能だった
画像ﾘﾝｸ[jpeg]:i.imgur.com
画像ﾘﾝｸ[jpeg]:i.imgur.com
画像ﾘﾝｸ[jpeg]:i.imgur.com
882: 死狂幻調教大師S.A.D.@月と六ベンツ 06/12(木)14:46:30.68 ID:raHFJsSn(18/28) AAS
偽 偽なりも貢献があるが本物志向になってほしい。
965(1): 06/14(土)17:16:24.68 ID:pmXx3B9i(2/3) AAS
>>963
うん定理じゃなく定義
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s