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