Семь задач. Семь миллионов долларов.
в 2000 году институт Клэя назначил по миллиону долларов за каждую из семи задач. одна решена. шесть — нет. это не просто математика — это граница человеческого знания.
В 1900 году Гильберт сформулировал 23 задачи для математики XX века. Ровно через сто лет, в 2000 году, институт Клэя сформулировал 7 задач для XXI-го1. По миллиону долларов за каждую. Семь миллионов долларов на семь вопросов. Прошло двадцать пять лет. Решена одна.
Разберём все семь — не формулами, а идеями.
P vs NP. Если решение задачи можно быстро проверить — можно ли его так же быстро найти? Заполненный судоку проверяется за секунды. Решается с нуля — минутами или часами. Всегда ли так? Большинство теоретиков считают, что да, P ≠ NP — но строгого доказательства нет. Если P = NP, вся современная криптография под угрозой: RSA, HTTPS, банковские транзакции стоят на сложности NP-задач, и моментально становятся уязвимы. Статус: не решена.
Гипотеза Римана. Все нетривиальные нули дзета-функции лежат на критической прямой Re(s) = ½. За этим — точное описание распределения простых чисел. Без гипотезы у нас есть только асимптотические оценки; с ней — точные границы погрешности. Проверено компьютером для первых 1013 нулей. Не доказано. Гильберт включал её в свои 23 проблемы 1900 года; она пережила их все. Статус: не решена.
Гипотеза Бёрча — Свиннертон-Дайера. О рациональных точках на эллиптических кривых. Самая техническая из семи: сложно объяснить без алгебраической геометрии. Связывает аналитические свойства L-функции кривой с числом её рациональных точек. Параллельно — фундамент криптографии на эллиптических кривых (ECC), которую сегодня используют все браузеры и мессенджеры. Статус: не решена.
Гипотеза Ходжа. О топологических свойствах алгебраических многообразий — связь между алгебраической геометрией, дифференциальной топологией и комплексным анализом. Самая абстрактная задача в списке. Чтобы понять формулировку, нужно сперва пройти полный годовой курс алгебраической геометрии. Статус: не решена.
Математика — это не то, что мы знаем. Это то, что мы ещё не знаем.
Уравнения Навье-Стокса. Описывают движение жидкостей и газов — от крови в сосудах до атмосферных потоков. Существуют ли всегда гладкие решения? Или с какого-то момента возникают сингулярности — точки, в которых скорость становится бесконечной? Мы используем эти уравнения каждый день в симуляциях погоды, аэродинамики, кровотока — не зная, доказано ли вообще, что у них есть решения. Существование и гладкость в трёхмерном случае — открытый вопрос. Статус: не решена.
Уравнение Янга-Миллса. Квантовая теория поля. Существует ли квантовая теория Янга-Миллса как строгий математический объект — с массовой щелью, объясняющей, почему сильное ядерное взаимодействие имеет конечный радиус действия? Физики успешно используют эту теорию более 70 лет: она лежит в основе Стандартной модели элементарных частиц. Математического обоснования у неё до сих пор нет. Это разрыв между «работает в лаборатории» и «доказано на бумаге», который теоретиков должно беспокоить, но почему-то не беспокоит. Статус: не решена.
Гипотеза Пуанкаре. Любое односвязное компактное трёхмерное многообразие гомеоморфно трёхмерной сфере. Проще: если трёхмерный объект «без дыр» (любую петлю на нём можно стянуть в точку), то это деформированная сфера. Сформулирована в 1904 году. Сто лет — открытая. Статус: решена. Григорий Перельман, 2002–20032.
Перельман отказался от $1 000 000. И от медали Филдса в 2006-м. Единственный известный комментарий: «У меня всё есть, что нужно». Он доказал гипотезу Пуанкаре как следствие более общей теоремы — гипотезы геометризации Тёрстона. То есть дал больше, чем просили. И — что почти беспрецедентно — опубликовал доказательство тремя препринтами на arXiv, без рецензируемого журнала3. Сообщество математиков несколько лет проверяло его выкладки и в итоге признало их корректными.
Шесть задач остаются открытыми. Возможно, некоторые из них принципиально недоказуемы — Гёдель показал, что в любой достаточно богатой системе существуют истины, не выводимые внутри системы. Гипотеза Римана может оказаться независима от ZFC. Гипотеза континуума уже оказалась — и никто не ожидал. Мы не знаем заранее, какая судьба ждёт каждую из шести.
Математика — единственная наука, в которой вопросы живут столетиями. Гипотеза Гольдбаха — 284 года. Гипотеза Римана — 167 лет. Великая теорема Ферма ждала 358 лет, пока её не доказал Уайлс в 1995 году. Никто не может сказать заранее, останется ли следующий вопрос открытым год или тысячелетие. И именно это делает каждое решённое утверждение настоящим событием — а каждое нерешённое — постоянным напоминанием о границах нашего понимания.