Премия института Клэя

Математическим институтом Клэя в Кембридже, штат Массачусетс (CMI) определены семь задач, за решение которых дается премия. Были отмечены некоторые из наиболее сложных проблем, с которыми математики бились на рубеже второго тысячелетия. Это было сделано для того, чтобы донести до широкой общественности тот факт, что математика изобилует важными нерешенными задачами, чтобы подчеркнуть важность работы, направленной на решение самых глубоких, самых сложных проблем, и признать историческое значение достижений в области математики.

О премии было объявлено на встрече в Париже, состоявшейся 24 мая 2000 года в Коллеж де Франс. Тогда были представлены три лекции. Тимоти Гауэрс говорил о важности математики, Майкл Атья и Джон Тейт говорили о самих задачах.

Семь задач тысячелетия были выбраны Научно-консультативным советом института, который обсуждал их с ведущими специалистами всего мира. В центре внимания совета были важные классические задачи, которые не поддавались решению в течение многих лет.

Следуя решению Научно-консультативного совета, совет директоров института Клэя определил призовой фонд в 7 миллионов долларов за решение этих задач, с выделением $ 1 млн. долларов за решение каждой задачи.

Заметим, что одной из семи задач является гипотеза Римана, сформулированная в 1859 году, которая находится также в списке из двадцати трех задач, представленном Давидом Гильбертом в Париже 9 августа 1900 года.

Итак, вот эти задачи.

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

Математики всегда были увлечены задачей описания всех целочисленных решений алгебраических уравнений типа

Евклид дал полное решение для данного уравнения, но для более сложных уравнений это сделать крайне тяжело. Действительно, в 1970 году Ю.В. Матиясевич показал, что десятая проблема Гильберта неразрешима, т. е. не существует общего метода определения, когда такие уравнения имеют решения в целых числах. Но в некоторых случаях можно надеяться что-то получить. Когда решения являются точками абелева многообразия, Бирч и Свиннертон-Дайер утверждают, что размер группы рациональных точек связан с поведением соответствующей дзета-функции вблизи точки . В частности, эта удивительная гипотеза утверждает, что если , то существует бесконечное число рациональных точек (решений), и наоборот, если , то существует лишь конечное число таких точек.

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

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

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

Волны следуют за нашей лодкой, когда мы плывем по озеру, и турбулентные потоки воздуха сопровождают наш полет в современном самолете. Математики и физики полагают, что объяснение и предсказание таких явлений, как ветер и турбулентность, могут быть найдены на основе понимания решения уравнений Навье-Стокса. Хотя эти уравнения были получены в 19-м веке, наше понимание их остается минимальным. Задача состоит в том, чтобы добиться существенного прогресса на пути к математической теории, которая откроет тайны, скрытые в уравнении Навье-Стокса.

Задача о равенстве классов P и NP

Предположим, что вы организуете размещение группы из четырехсот студентов университета. Количество мест ограничено, и только сто студентов получат места в общежитии. Ситуация усложняется тем, что декан предоставил вам список пар студентов, которые не могут жить вместе, и просил, чтобы ни одна пара из этого списка не попала в окончательный вариант. Это пример того, что ученые-компьютерщики называют NP-задачей. Легко проверить, будет ли данный выбор ста студентов, предложенный сотрудником, удовлетворительным (т.е. никакая пара студентов из списка вашего коллеги не фигурирует в списке из деканата), однако задача создания такого списка с нуля, кажется абсолютно невыполнимой. Действительно, общее число способов выбора ста студентов из четырехсот претендентов больше, чем количество атомов в известной вселенной! Таким образом, никакая будущая цивилизация не может даже надеяться построить суперкомпьютер, способный решить эту задачу с помощью грубой силы, то есть проверяя все возможные комбинации 100 студентов. Однако эта кажущаяся трудность может только отражать отсутствие изобретательности вашего программиста. В самом деле, одной из нерешенных проблем в области компьютерной науки является определение того, существуют ли вопросы, ответы на которые можно быстро проверить, но которые требуют невозможно долгого времени для решения любым прямым методом. Задачи, подобные той, что указана выше, конечно, кажутся задачами такого р