That's amazing-- a proof that is assumed correct until shown to be otherwise, just because it is so long! Not a good development for mathematics, I should think. Hopefully someone will use it to inspire a much more elegant treatment. Still, mathematicians are just crazy enough to really work it all the way through and if there are no flaws found in two years, it's probably solid.