Conway didn't care much for it, did he: > (P!=NP) In my opinion this shouldn’t really be a hard problem; it’s just that we came late to this theory, and haven’

Conway didn't care much for it, did he: > (P!=NP) In my opinion this shouldn’t really be a hard problem; it’s just that we came late to this theory, and haven’t yet developed any techniques for proving computations to be hard. Eventually, it will just be a footnote in the books.