今までは権威で逃げ続けてきたけど
AIとLeanがたいていの数学者より信頼できるようになった今はもう通用しないだろうな
尊師は定年までゴネ続けるんだろうけど
付いていった任期付きの取り巻きたちの敗残軍は残りの人生どうすんのかなw