「ABC予想」の証明理論、欠陥見つけたら1.4億円

[0267 １３２人目の素数さん 2023/07/17(月) 18:32:11.65 ID:rR/0wbJJ]

>>266
加藤文元が 現今の数学との違いを言語化する新しい数学の 言語体系IUT語はさらに未完成だそうだ、
望月新一監修だな