グロモフも言ってるよね。
「彼はすでに定理を証明した。このうえ解決することなど何もない。彼はあの定理を証明したんだ」