数学者とかいうマジの天才しかなれない職業ｗｗｗｗｗｗｗｗｗｗｗｗ

以下、？ちゃんねるからVIPがお送りします

加藤先生は一般向けに色々大袈裟なこと言ってるけど、IUTって別に言うほど突拍子も無いアイデアじゃないよな
性質のいい大きい圏に埋め込んだり随伴で誤差評価したりって数学じゃよくやるし。導来圏なんかそうでしょ
門外漢だけど解説聞く限りだとHoTTっぽいと思った
全然知らないけど遠アーベル幾何って要するにホモトピー論でしょ？
それで解ける問題があるなら間違いなくすごい結果なんだけど
逆にいえばそこに現実味があるというか、「IUTは失敗！」みたいなのは絶妙にカルトっぽい
まあ現時点では「証明のギャップはまだ埋められていない」と見なすのが冷静な態度ではあるだろうけど、岡潔とかグロモフだってそういう怪しい結果をたくさん出してるわけで、それでもアイデアそのものが素晴らしいからこうして後世に名前が残っている
深谷賢治も天才だけど証明のギャップ放置は大概やぞ