[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
354(1): 01/05(日)19:53 ID:6OtYjt5A(1) AAS
IUGCがZMCに名称変更された結果
目的からIUTが消えて代わりにAIが入ったわけだが
それを踏まえてご本尊のブログを読むと味わい深い
あとAIに対する認識が
＞数学の研究においては技術的な計算や、近年では、
＞証明の点検にも使用されております。
程度っていうのはずいぶんと遅れてる感じ
省3
359: 01/06(月)10:08 ID:XRsxE3uw(1/2) AAS
>>354
梯子消失問題
Joshiへの暴言とか色々見られてるんだろうなあ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.106s*