[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
347(1): 2025/12/17(水)10:09 ID:Q7FX6bq6(1) AAS
なにかのAIに、これとこれのIUT文献見込んで
lean 解析やってくれと やればいいんでないの
あるいは、leanにAIが導入されれば 同じことができる
349: 2025/12/17(水)17:10 ID:aC/RmfgJ(1) AAS
>>347
望月新一.加藤文元IUT本によれば、IUT論文は望月新一語のIUT語で書かれ望月新一教授のみ理解できる全く新しい理論。p51
よって、
leanによる数学の定理証明支援
の形式化には自然言語による証明
が前提にありIUTはleanによる定理証明
形式化の対象外だ。
なお、
このスレは望月新一教授の一次資料に基づきIUT応援CULTスレ
とは無関係。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.164s