こういう大定理を証明する数学者は、その後パッとしないんだよね。
望月氏もABC予想証明が最後の業績になるだろうな。