Неужели наконец-то доказано? 11 августа на сайте компании HP появился препринт доказательства индийского математика Винай Деолаликар. Если кому-нибудь известно что-нибудь больше чем пишут в новостях то отпишитесь.
| № | Пользователь | Рейтинг |
|---|---|---|
| 1 | jiangly | 3810 |
| 2 | Benq | 3676 |
| 3 | Kevin114514 | 3655 |
| 4 | maroonrk | 3463 |
| 5 | strapple | 3447 |
| 6 | Um_nik | 3387 |
| 7 | heuristica | 3322 |
| 8 | turmax | 3317 |
| 9 | tourist | 3307 |
| 10 | jiangbowen | 3291 |
| Страны | Города | Организации | Всё → |
| № | Пользователь | Вклад |
|---|---|---|
| 1 | Qingyu | 156 |
| 2 | nik_exists | 150 |
| 2 | maspy | 150 |
| 4 | Um_nik | 141 |
| 5 | Errichto | 139 |
| 6 | adamant | 137 |
| 7 | AmShZ | 135 |
| 8 | BledDest | 132 |
| 9 | maroonrk | 131 |
| 10 | qwexd | 129 |
К сожалению, судя по комментариям достаточно авторитетных математиков, это доказательство скорее всего неверное. Хотя может быть, ошибки не настолько глубоки, и через какое-то время его получится исправить (хотя у многих людей есть именно концептуальные возражения против доказательства).
См. http://rjlipton.wordpress.com/2010/08/11/deolalikar-responds-to-issues-about-his-p≠np-proof/, http://rjlipton.wordpress.com/2010/08/12/fatal-flaws-in-deolalikars-proof/.
Ух, это событие - опубликование доказательства - всколыхнуло интерес к математике. Интересно, что, кроме внимания прессы и других не-математиков, обсуждение доказательства собрало "за одним столом" много специалистов по теории сложности и другим дисциплинам, что является уникальной ситуацией (см. сообщения Terence Tao в блоге rjlipton).
Я и сам попал под влияние, - зачитался всякими научно-популярными статьями о великих задачах XX века, об их решениях и неудачах... Интернет классен тем, что за ~0 минут ты можешь отыскать множество занимательных статей, написанных понятным языком, и ∞ количество ссылок на другие статьи, с каждым разом всё больше отдаляющиеся от первоначальной темы, но всё более и более интересные...
Особенно после, того как за доказательство стали обещать премии
Уайлс, Эндрю Джон - великий человек доказавший Великую Теорему Ферма ;) Надеюсь найдутся ещё люди которые не побоятся потратить время и на другие интересные доказательства :))