[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
634(1): 06/19(金)07:48 ID:OLmeb/0d(1/3) AAS
>>631
>文科省報告書云々
京大数理研ではabc予想が査読中から
解決していた。
2026年7月17日に具体的明確な経緯の
説明があるのか
635(1): 06/19(金)07:53 ID:OLmeb/0d(2/3) AAS
>>634
平成28年(2016年)6月
IUT論文査読中。
文科省所管の独立行政法人
大学改革支援・学位授与機構宛
京都大学数理解析研究所
第2期中期目標期間(平成22年〜
平成27事業年度)
-現況調査表 -
・p 28-3
資料 2. 発表論文数
所員の発表論文数
査読付き論文のみ
省5
636: 06/19(金)08:01 ID:OLmeb/0d(3/3) AAS
>>635
外部ﾘﾝｸ[pdf]:www.niad.ac.jp
637: 06/19(金)08:53 ID:L9+EvLqC(1) AAS
IUT騒動とは何か？
RIMSの中の人が文科省から予算を毟るために
できてもいないことをできたと言い張った出来事
638(1): 06/19(金)09:53 ID:cuIShk23(5/5) AAS
>>631 こいつは経緯と無関係なLANAプロジェクトが
＞具体的明確な経緯の説明
できると思ってるデンパだから
ところでLANAプロジェクトって何のためにあると思ってんの？
639: 06/19(金)10:02 ID:WCuFKOXa(1) AAS
でんぱ組
640: 06/19(金)14:04 ID:0aG6IhJ/(1) AAS
>>638
コミュニケーション(失笑)だろ
641(2): 06/19(金)23:10 ID:+Z3vQSjh(1/2) AAS
IUTスキャンダルの原因は
I didn’t really see a key idea that would get us closer to the proof of the abcconjecture.” by p.scholze
IUT一派にはabc予想の証明へ近づくkeyとなるアイデアがない。
だからscholze.stixレポートへの回答が望月IUT語のトンデモ(デンパ)になった。(>>622)
加藤文元所長のLANAプロジェクトは
入力.望月新一語のIUT→自然言語→leanによる形式化→出力で、入力がトンデモ(デンパ)だから出力もトンデモ(デンパ)のガラクタだ。
省2
642(2): 06/19(金)23:20 ID:+Z3vQSjh(2/2) AAS
>>641
外部ﾘﾝｸ:zen.ac.jp
643: 06/20(土)06:47 ID:gJAUPic7(1) AAS
とりあえずscholzeが問題視する部分だけでもAIで検証できないのか
644(1): 06/20(土)06:58 ID:UYtLNwKk(1) AAS
IUT論文AIに読み込ませて、定理3.11から系3.12を導く過程をLEANでやらせてみりゃわかるけど、部品と補題が多すぎるねん
それらの定式化だけで数万行軽く行く
LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね
Githubの公開がなかったらそれだけでガッカリや
645(1): 06/20(土)09:49 ID:MaaC2GCB(1) AAS
造語おじさんの虚言に誠心誠意答付き合って議論したショルツって聖人かなにか？
646: 06/20(土)15:19 ID:Hajjvb0G(1/2) AAS
まだ期待してる馬鹿いるのか
数学素人が文元に騙されてんだろうけど 哀れだなw
647: 06/20(土)15:27 ID:xZkSBPwa(1) AAS
☆がコード化要員に論理を説明できないのがすべて
無い論理は説明できないわな
648(1): 06/20(土)16:22 ID:U5VeawLX(1) AAS
数学を学び、議論するときは、他のすべてを無駄とみなして本題だけに集中すること
レトリックもドラマチックもいらない
649: 06/20(土)17:05 ID:xgRaE+To(1) AAS
>>648
過去の天才の逸話を並べてIUTを飾り立てる加藤であった
650: 06/20(土)18:20 ID:75vrnpmp(1/2) AAS
>>574
だな
書かれてる活動実態がないからね
651(1): 06/20(土)18:25 ID:75vrnpmp(2/2) AAS
>>644
>LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね
無理じゃないかなあ
もともとそれがゴールだったら1年半かけてるから終わってるはず
ゴールはIUT理論の正当性で
そっちのギャップが深刻な状態
その状態で遠アーベル幾何学ライブラリの構築に集中できると思えない
海外みたいにプロジェクトが数学の方はやらない専門プログラマ雇ってれば別だけど日本は不得意なやり方
652: 06/20(土)22:08 ID:Hajjvb0G(2/2) AAS
山下とか数理研で何もしてねえで恥ずかしくねえのかな
厚顔無恥な連中だな
653: 06/21(日)11:16 ID:WtUOM5ns(1) AAS
山下さんはどこか外国に行ったと聞いたが
上下前次1-新書関写板覧索設栞歴
あと 349 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s