ＡＩに聞いてみた

・自然数を素因数の積で表したとき、自然数の和を素因数の指数の関数として記述できる？
→激ムズ、ほぼ無理ゲー　数理論理学でもそういう結果がでてる

・望月新一のＩＵＴってその無理ゲーをやろうとしてる？
→ピンポン　いろいろ数理論理学のトラップを回避しようとはしてるが、数学界の理解は得られてない

・加藤文元が「ＩＵＴには新しい言語が必要」っていうのは、そういうこと？
→かもね　通常のやり方では、ほぼ無理ゲーって分かってるから