>>589
そのとおりだね。
2018年の4者ミーティングでabcの証明
のポイントが望月新一語のIUT語で
数学のアイデアがない、革命的な凝縮集合へつながる知見もなかったのだろう。
パーフェクトイドと凝縮数学より
革命的な結果になっている。
だからleanの形式化で補強したのだろう