P != NP

Криптографы теперь будут спать спокойнее.

P != NP

Как, опять?! http://www.win.tue.nl/~gwoegi/P-versus-NP.htm

Да вы запарили своим версусом!!

Нет повода не выпить.

https://news.ycombinator.com/item?id=15008076

Я так понимаю ещё проверить должны. Пока просто некто выложил в сеть.

Эх, лимон из рук уплыл.

я было наоборот подумал :)

тьфу, блин, я уже перепугался, что наоборот.

Выглядит подозрительно. Подождем рецензий.

А что конкретно выглядит подозрительно?

Задачка невероятно сложна. Мне вот подозрительно, что подобную штуку вообще принципиально можно доказать или опровергнуть. Тут как с Великой теоремой Ферма, но на порядки сложнее. Её тоже много кто заявлял доказанной, однако доказали только в 1995 году, спустя 300 лет попыток.

Очень много текста и мало хорошо сформулированых результатов. Я не специалист по этой теме, но стандартные статьи включают много промежуточных результатов - лемм, которые потом используются в доказательстве основной теоремы. Они обычно формулируются наиболее обще и точно. В статье много текста и всего 7(?) утверждений, которые доказываются.

что за г-но по ссылке ?

это точно Y-Combinator ?? они что домен профуфлыжли что-ли...годный-же ресурс был

К сожалению, данный вопрос слишком хайповый в среде математиков, поэтому препринта недостаточно из-за того, что уже были сотни вариантов доказательства. Когда подтвердят специалисты(думаю, что пару лет на это уйдёт, если работа), то можно будет сказать, что ок, вопрос решён.

Это пока только план доказательства, если я правильно понял.

Это Hacker News, и он прекрасен в своей простоте.

Нет, там утверждается, что задачи из NP имеют сложность не ниже экспоненциальной (8 теорема на 36 странице в pdf-ке).

ура

Не торопитесь

Уже можно доставать шампанское?

Откуда?

The proof is wrong. I shall elaborate precisely what the mistake is. For doing this, I need some time. I shall put the explanation on my homepage this http URL