2 ms·

I don't think they proved the correctness, just read it very thoroughly and were convinced by Perelman's reasoning.