В 2000 году американский Clay Mathematics Institute объявил семь задач тысячелетия и выделил по миллиону долларов за решение каждой. Это не конкурс на скорость: доказательство должно пройти независимую проверку и выдержать публикацию и обсуждение профессиональным сообществом. Одну задачу – гипотезу Пуанкаре – решил Григорий Перельман; остальные открытые вопросы по-прежнему ждут строгого ответа.
| Место | Участник | Главное отличие |
|---|---|---|
| 5 | Задача P против NP | Она спрашивает, всегда ли ответ, который легко проверить, можно так же быстро найти. |
| 4 | Гипотеза Ходжа | Она связывает геометрические формы алгебраических уравнений с циклами, построенными из алгебраических объектов. |
| 3 | Гипотеза Бёрча – Свиннертона-Дайера | Она связывает число рациональных решений эллиптической кривой с поведением функции, заданной для этой кривой. |
| 2 | Уравнения Навье – Стокса | Для трёхмерного потока жидкости нужно доказать, что решения существуют и остаются гладкими. |
| 1 | Гипотеза Римана | Она предсказывает точное расположение нетривиальных нулей дзета-функции и тем самым уточняет закономерность простых чисел. |
5. Задача P против NP
Вопрос P против NP можно объяснить через головоломку. Если кто-то показал готовый маршрут через несколько городов, проверяющий быстро убедится, что каждый город посещён один раз. Но найти такой маршрут с нуля может быть намного труднее. Теория сложности спрашивает, верно ли, что всякую задачу, решение которой легко проверить, можно столь же эффективно решить.
Проблема затрагивает основы вычислений, оптимизации и криптографии. Это не обещание, что после доказательства завтра взломают все пароли: практические алгоритмы и математические классы сложности устроены тоньше. Но ответ изменил бы понимание того, какие вычисления в принципе поддаются быстрому решению. Clay Institute формулирует задачу через равенство или неравенство классов P и NP, а миллион дают за доказательство, а не за программу, работающую быстрее известной.
4. Гипотеза Ходжа
Гипотеза Ходжа относится к алгебраической геометрии, где уравнения задают сложные пространства. Математики изучают их топологические особенности – например, циклы и поверхности, которые можно обнаружить, даже если само пространство трудно представить. Ходж предположил, что определённые рациональные классы этих циклов всегда можно выразить через алгебраические подмногообразия.
Для читателя это звучит далеко от повседневности, но задача объединяет два языка математики: геометрию формул и топологию пространства, которое формулы описывают. Гипотеза доказана в отдельных частных случаях, однако для общего случая не хватает ключевого шага. В этом её характерная трудность: нельзя просто найти контрпример на компьютере или нарисовать одну удачную поверхность – нужно доказать утверждение для целого класса пространств.
3. Гипотеза Бёрча – Свиннертона-Дайера
Гипотеза Бёрча – Свиннертона-Дайера изучает эллиптические кривые. Такие кривые можно задать кубическим уравнением, а их рациональные точки – решения, координаты которых являются дробями, – образуют математическую структуру. Гипотеза предсказывает, как число независимых решений связано с поведением специальной функции, которую строят из самой кривой.
Связь важна не только как красивая формула: эллиптические кривые применяются в современной теории чисел и криптографии. Для множества отдельных кривых накоплены убедительные вычислительные свидетельства, но эксперимент не равен доказательству. Нельзя перебрать все возможные кривые и закончить проверку; требуется общий аргумент, объясняющий, почему связь работает всегда.
2. Уравнения Навье – Стокса
Уравнения Навье – Стокса описывают движение жидкостей и газов. Их используют, когда моделируют воду, воздух и турбулентные потоки. Премиальная задача не просит предсказать каждый вихрь в конкретной чашке: нужно доказать для трёхмерного случая, что при разумных начальных условиях гладкие решения существуют всегда или, напротив, найти строгое доказательство возникновения сингулярности.
Численные модели дают полезные приближения, но компьютерная сетка всегда конечна, а математический вопрос относится к непрерывному потоку. Решение должно исключить возможность, что величина скорости или её производных когда-нибудь станет бесконечной за конечное время. Это объясняет, почему инженеры могут успешно рассчитывать аэродинамику, а фундаментальная задача при этом остаётся открытой: практической точности часто хватает без ответа на вопрос о поведении всех возможных решений.
1. Гипотеза Римана
Гипотеза Римана появилась в статье Бернхарда Римана 1859 года и касается дзета-функции. Её нетривиальные нули, если гипотеза верна, лежат на одной вертикальной прямой комплексной плоскости. Это утверждение связано с тем, насколько регулярно распределены простые числа среди натуральных.
Простые числа нельзя предсказать по простой периодической формуле, но математики умеют описывать их среднюю плотность. Гипотеза уточняет, насколько отдельные подсчёты отклоняются от этой средней картины. Её проверили для огромного количества нулей вычислительными методами, однако бесконечное множество нельзя исчерпать проверкой на компьютере. Одно доказательство принесло бы не только премию, но и точный контроль над целым семейством утверждений теории чисел.
Все пять задач по-разному спрашивают, где заканчиваются наши нынешние методы: что можно вычислить, какие геометрические формы допускают алгебраическое описание, как устроены рациональные решения и насколько точно можно описать природные процессы. Миллион долларов здесь обозначает не цену ответа, а масштаб вопроса, который сопротивлялся математике десятилетиями или столетиями.