2 ms·Unfortunately, his proof is broken and didn't help community make progress on the problem.by gnulinux 8y agoUnfortunately, his proof is broken and didn't help community make progress on the problem.