Inter-universal geometry とABC 予想57  

[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57   (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

370: 01/06(月)22:49 ID:JyeOXl8N(1) AAS
>>365
Leanというプログラミング言語が新しいのはそうなんだけど、今の時代にAIと言えば生成AIみたいなのを言うんであって、「形式的に書いた証明をコンピュータで検証する」ことをAIと呼ぶとすれば黎明期的な感覚だと思う