[bingerman]

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