望月先生を擁護する訳じゃ無いんだけど、ウィッテンやヴァッハあたりの論文も形式化してないし、数学じゃ無い
けど面白いんだよなぁ

望月先生が趣味として数学的SFしてます
これABC予想とかが成立するんですよ、凄くないですか？
みたいなノリだったらここまで騒ぎにならなかったと思う
もしウィッテンが同じような感じでABC予想を導出したら、数学者は目くじら立てなかった

望月先生が不幸なのは自分がやる数学は全て数学になると本気で思ってること
ウィッテンとかだったら、自分は数学者じゃ無いと自覚してるから、アイディア出しの軽いノリでヤバい！ABC予想導出できちゃった！数学のプロさん達、精密化ヨロシク
で終わるんだろうなw
数学者って頭かたいからなぁ