>>261
普通はしない。それに普通の証明したからって、
それで形式的に証明できるのか、どうかなんて、
全然、分からないよ

で、今回、中村は形式的に証明できましたって
話でしょ。

もし、今までの数学者の証明＝形式的証明なら
中村の「初めて」って話は嘘になるけど、俺は
嘘だと別に思わないな