7.4　现状

我们离证明P≠NP比以前更远了。虽然对该问题了解更深入了，但从某种程度上讲，在未来一段时间内，都不存在未被尝试过的明显的方法和已知的证明思路了。

目前唯一已知的有可能解决P/NP问题的方法，来自芝加哥大学的凯坦·马尔马利。他的工作表明通过解决代数几何学（它比高中的代数和几何要复杂得多）这一数学领域的某些问题，可能会产生P≠NP的证明。但是求解这些代数几何学问题所需的数学技术远远超出了今天人类的数学技术水平。几年前马尔马利觉得他的程序要100年才能跑完。如今他认为之前想得有点乐观了。

还要过多久我们才能看到P/NP问题真正得到解决？也许在你读到本书的时候这个问题已经被解决了。但更有可能的是，很长一段时间内它都无法被解决，也许比费马大定理从提出到解决所经历的357年更长，甚至有可能一直得不到解决，成为数学和科学领域一个永远的未解之谜。