А вы уже осилили доказательство, что P=NP? Некий Романов В. Ф. с своей статье утверждает, что нашел полиномиальный алгоритм для решения NP-полной задачи 3-SAT, что в свою очередь означает, что P=NP, и мы все умрем. Есть даже реализация предложенного алгоритма на Java.
Реакции ученого мира пока нет, так что будем следить за новостями.