Inter-universal geometry とABC 予想57  

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

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

644: 06/05(木)21:17 ID:jnoFpXQp(1/3) AAS
>>643
IUT論文そのものを与えてIUT語を日本語に翻訳させることは可能だったぞ
知りたいことは無限に聞くことができる

645: 06/05(木)21:18 ID:jnoFpXQp(2/3) AAS
確かに既存の数学とは全く異なることだらけ
それを把握するにはとんでもない手間がかかるだろうな
AIで解説させればちょっとは楽になるが

646: 06/05(木)21:20 ID:jnoFpXQp(3/3) AAS
あまりにもぶっ飛んでるので既存の自動証明支援系とかにもそのままでは乗らないねこれ
スキームや宇宙や圏を超越してる
あらゆるものを再設計しなきゃならない
それを例えやったところでABC予想の証明にしか使えない疑惑がある