Serious attempt to prove P!=NP
arxiv.org