Знаменитые открытые задачи математики, статус проблем тысячелетия и смысл строгого доказательства.
Открытая задача — не загадка без ответа
В математике утверждение считается решённым после строгого доказательства, проверенного специалистами. Миллионы численных примеров могут поддерживать гипотезу, но не заменяют доказательство для всех случаев. Иногда результатом становится контрпример, показывающий, что формулировка неверна.
Семь задач тысячелетия Институт Клэя объявил в 2000 году с премией по миллиону долларов за каждую. Из них решена только гипотеза Пуанкаре: доказательство Григория Перельмана прошло проверку, а премию он не принял.
Шесть задач тысячелетия
Гипотеза Римана связывает нули дзета-функции с распределением простых чисел. P против NP спрашивает, всякую ли быстро проверяемую задачу можно быстро решить. Уравнения Навье—Стокса требуют доказать существование и гладкость решений в трёх измерениях.
Остаются гипотеза Ходжа, гипотеза Бёрча—Свиннертон-Дайера и существование массовой щели в теории Янга—Миллса. Их популярные пересказы передают идею, но официальный предмет задачи намного точнее и технически сложнее.
За пределами списка
Существуют тысячи открытых вопросов: гипотеза Гольдбаха, гипотеза о близнецах-простых, задачи комбинаторики и геометрии. Статус меняется, поэтому утверждение об «решении» нужно сверять с рецензируемой публикацией и признанием сообщества.
Открытые задачи важны даже без финального ответа: работа над ними создаёт новые методы, связи между областями и практические алгоритмы.
Что не является нерешённой задачей
Парадокс Монти Холла имеет строгий ответ: при стандартных условиях выгодно сменить дверь, и это не открытая проблема. Великая теорема Ферма доказана Эндрю Уайлсом. Их можно обсуждать как примеры контринтуитивности и долгого поиска, но нельзя помещать в современный список нерешённых задач.
Гипотеза Гольдбаха
Сильная гипотеза утверждает, что всякое чётное целое больше двух представимо суммой двух простых. Она проверена вычислительно для огромных диапазонов и связана с важными частичными результатами, но общего доказательства нет. Проверка конечного числа случаев не закрывает бесконечное утверждение.
P и NP
Класс P содержит задачи, которые решаются за полиномиальное время, NP — задачи, для которых предложенное решение можно быстро проверить. Неизвестно, совпадают ли классы. Ответ повлиял бы на теорию алгоритмов и криптографию, но популярная фраза «всё сложное станет простым» слишком груба.
Навье—Стокс и физика
Уравнения хорошо описывают движение жидкостей и газов, а численные решения широко используются. Задача Клэя спрашивает о глобальном существовании и гладкости трёхмерных решений при заданных условиях. Практическая работоспособность моделей не заменяет математического доказательства.
Как распознавать ложное решение
Нужны точная формулировка, открытая рукопись, экспертная проверка и время. Пресс-релиз или вычислительный эксперимент не достаточны. Для премии Клэя действуют дополнительные правила после публикации и признания результата. Поэтому текущий статус сверяют с официальной страницей института.