[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
363: 01/06(月)20:16 ID:/CWCbeIv(1/2) AAS
AIってキーワードが散りばめられてるけど、やろうとしてるのはLeanとか使った形式化でしょ
>ZMC（ZEN Mathematics Center; ZEN数学センター）は、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ニューラルネットワークとかじゃなくてもっと古典的なやつ
364: 01/06(月)20:20 ID:/CWCbeIv(2/2) AAS
加藤とかフェセンコは現代数学担当として、形式化担当者がまだいないんよな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s