Inter-universal geometry と ABC予想 (応援スレ) 55

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

769(1): 2021/06/23(水)20:39 ID:IawCIofa(5/11) AAS
>>768
>IUTは他人に説明できるほどに理解している人がいないんだから、

うん
だから
Promenade in Inter-Universal Teichmuller Theory 下記
では、十数人で手分けして説明したでしょ

外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) ? we refer to the Programme for descriptions of the talks and associated references. 外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp

>コンピュータに説明なんて到底ムリ

そうでもないんじゃない？
コンピュータに証明で一番大変なのは、700ページの論文を、コンピュータ証明のプログラムに乗せるところ
つまり、人間の言葉から、コンピューターの言葉に翻訳する必要があるのだが
従来は、これが手作業で大変だったのです

で、将来の夢として、AIでスキャンOCRした論文のテキストや数式や図から、自動でコンピューターの言葉に翻訳してくれるようになる
あるいは、なったとしたら、ありは”RUN”スイッチを押すだけ（＾＾；

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

あと 233 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.010s