7 математических задач тысячелетия

29.04.2026

7 мин

В мае 2000 года в научном мире произошло важное событие для всех, кто интересуется границами научного знания. Математический институт Клэя (США) объявил о создании списка из семи задач, за решение каждой из которых назначалась награда в 1 миллион долларов. Инициатива продолжала традицию, заложенную Давидом Гильбертом, который в 1900 году сформулировал 23 проблемы, определивших развитие математики на XX век. В новый список вошли вопросы из теории чисел, топологии, математической физики и информатики. Спустя более 25 лет только одна из них официально решена. Остальные шесть остаются открытыми и активно исследуются.

Содержание:

Обзор списка 7 задач

Гипотеза Римана

Гипотеза Ходжа

Гипотеза Бирча и Свиннертона-Дайера

Уравнения Навье-Стокса

Проблема P против NP

Гипотеза Пуанкаре

Теория Янга-Миллса и разрыв массы

Почему большинство задач до сих пор нерешены

Заключение

Обзор списка 7 задач

Список задач тысячелетия охватывает фундаментальные вопросы мироздания.

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

Гипотеза Римана

Самая знаменитая из списка нерешённых — гипотеза Римана. Сформулированная ещё в 1859 году Бернхардом Риманом, она касается распределения простых чисел. Простые числа — базовые «кирпичики» арифметики, однако их распределение внутри натурального ряда крайне нерегулярно. Риман обнаружил, что их поведение тесно связано с особой дзета-функцией. Гипотеза утверждает, что все нетривиальные нули этой функции (кроме очевидных) лежат на одной прямой линии на комплексной плоскости. На первый взгляд это абстрактная теория. Однако её доказательство дало бы ключ к пониманию структуры всех чисел и напрямую затронуло бы современную криптографию, основанную на свойствах простых чисел. Сложность доказательства объясняется тем, что, несмотря на триллионы найденных нулей, лежащих на «линии», строгого математического обоснования до сих пор нет.

Гипотеза Ходжа

Эта гипотеза находится на стыке геометрии и алгебры. Речь идёт о сложных многомерных фигурах, форму которых можно задать с помощью сложных уравнений. Основной вопрос гипотезы — можно ли представить такую фигуру в виде комбинации простых элементов, которые в математике называются алгебраическими циклами. Гипотеза Ходжа утверждает, что для определённого класса пространств (гладких проективных многообразий) любой класс когомологий Ходжа можно выразить через комбинацию таких циклов. Если эту проблему удастся доказать, математики получат универсальный язык для описания объектов высших измерений, что значимо и для теоретической физики.

Гипотеза Бирча и Свиннертона-Дайера

Эта гипотеза связана с эллиптическими кривыми — объектами, которые задаются кубическими уравнениями. Несмотря на внешнюю простоту, такие кривые играют важную роль в современной криптографии. Математики преследуют следующую цель: определить, сколько рациональных решений (точек с координатами в виде дробей) имеет такая кривая. Гипотеза Бирча и Свиннертона-Дайера предлагает способ это узнать. Она связывает количество решений с поведением специальной функции (L-функции) кривой в точке s = 1. Если L-функция обращается в ноль в этой точке, то рациональных точек бесконечно много, если нет — то конечное число. Формулировка выглядит лаконично, однако строго доказать эту связь пока никому не удалось. Её решение позволило бы объединить две огромные области математики: алгебраическую геометрию и аналитическую теорию чисел.

Уравнения Навье-Стокса

Задача из области математической физики. Уравнения Навье-Стокса описывают движение вязкой жидкости или газа и применяются повсеместно — от расчёта погоды до проектирования самолётов. При этом численные методы дают приемлемые результаты. Однако перед математиками стоит фундаментальный вопрос: существует ли вообще гладкое решение этих уравнений для всех возможных начальных условий? Задача тысячелетия требует либо доказать, что гладкое решение существует всегда и остаётся конечным (не «взрывается»), либо найти контрпример. Её решение позволило бы, в частности, продвинуться в понимании природы турбулентности.

Проблема P против NP

Это центральная проблема теоретической информатики. У неё есть простое объяснение на примере судоку: проверить уже заполненную головоломку можно за несколько секунд, тогда как для её решения с нуля могут потребоваться часы. Центральный вопрос состоит в том, всегда ли проверка решения проще, чем его поиск. В математике это выражается через классы P (задачи, которые решаются быстро) и NP (задачи, решение которых можно быстро проверить). Научное сообщество в большинстве своём склоняется к тому, что P ≠ NP — то есть быстро найти решение сложной задачи принципиально сложнее, чем проверить готовое. Если же удастся доказать обратное (P = NP), последствия окажутся радикальными: станет возможно взламывать большинство современных шифров с открытым ключом и многократно ускорить решение задач оптимизации любой сложности.

Теория Янга-Миллса и разрыв массы

Эта задача пришла из квантовой физики. Теория Янга-Миллса описывает взаимодействие элементарных частиц с помощью калибровочных полей. При этом у физики накоплен обширный массив экспериментальных данных, тогда как математики пока не имеют её строгого обоснования. Суть проблемы в существовании так называемого «массового зазора». Эксперименты показывают, что частицы, описываемые этой теорией, имеют массу. Но математически нужно доказать, что даже в вакууме минимальный уровень энергии поля не равен нулю, а имеет разрыв. Для этого требуется математический аппарат, описывающий квантовые поля так же строго, как классические уравнения Максвелла.

Гипотеза Пуанкаре

Это единственная задача из списка, которая официально решена. И решение это принадлежит российскому математику Григорию Перельману. Суть гипотезы Пуанкаре, сформулированной ещё в 1904 году, допускает наглядную иллюстрацию. На поверхности яблока (двумерной сфере) любую замкнутую петлю можно стянуть в точку, а на поверхности бублика (торе) — нельзя: петля упрётся в отверстие. Пуанкаре предположил, что это свойство (стягиваемость петель) уникально для трёхмерной сферы. Перельман доказал это в 2002–2003 годах, применив метод под названием «поток Риччи». Он не только подтвердил догадку Пуанкаре, но и доказал более общую гипотезу геометризации Терстона. Несмотря на это, сам Перельман отказался от премии в 1 миллион долларов.

Почему большинство задач до сих пор не решены

За прошедшие 25 лет решена только одна из семи задач тысячелетия, и у этого есть ряд фундаментальных причин.

Глубина и абстракция. Эти проблемы находятся на самом краю известной математики. Чтобы подступиться к ним, часто нужно создавать новые разделы науки, как это сделал Перельман с потоком Риччи.
Междисциплинарность. Многие задачи лежат на стыке нескольких областей. Например, проблема Янга-Миллса требует одновременно глубочайших знаний в квантовой физике и сложнейших разделах геометрии.
Отсутствие методов. Для ряда задач у науки нет подходящего аппарата.
Сложность проверки. Верификация заявленного решения может занимать годы.
Математики не оставляют этих вопросов. Каждый год публикуются новые работы, развивающие отдельные аспекты гипотез, однако окончательных доказательств пока не найдено.

Заключение

Семь задач тысячелетия задают ориентиры для развития математики в XXI веке и затрагивают фундаментальные вопросы: от структуры простых чисел до основ квантовой теории поля. Решение каждой из этих проблем значимо не столько премией института Клэя, сколько развитием самих методов науки: появлением новых теорий и подходов, применимых за пределами исходной задачи. Пример Григория Перельмана показывает, что прогресс в решении требует десятилетий работы и нередко создаёт новые направления в математике.

Теги:

Математика

Образование

Наука

Гипотеза