Then the proof's model will have to be double and triple checked. With a faulty model a mechanical proof might be easy.
-
-
-
Still much easier than checking 30 pages of manual proof.
End of conversation
New conversation -
-
-
I am going to start reading it tomorrow - it's 'hard' to believe that someone can prove it :) but it would be amazing to be alive!
-
Well, as someone pointed out, this and the other hundred proofs. :) http://www.win.tue.nl/~gwoegi/P-versus-NP.htm …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.