Ближе к смене тысячелетия Институт математики Клэй (Clay Mathematics Institute, CMI), исследовательское учреждение со штаб-квартирой в США, собрал ведущих мировых математиков для амбициозного предприятия. Под руководством научного совета института был выбран набор из семи беспрецедентных математических задач, что привело к появлению так называемых «Проблем тысячелетия».
Предложение CMI ясно: предложить приз в один миллион долларов исследователю, который впервые решит любую из этих проблем. Важно отметить, что ни одна из семи проблем не считается простой, поскольку они были выбраны как представляющие некоторые из самых сложных вопросов, с которыми сталкиваются математики при переходе ко второму тысячелетию.
24 мая 2000 года Институт опубликовал окончательный список из семи проблем: гипотеза Бирча и Свиннертона-Дайера; гипотеза Ходжа; проблема существования и единственности уравнений Навье-Стокса; гипотеза Пуанкаре; проблема P против NP; гипотеза Римана; и проблема массового зазора для квантовой теории Янга-Миллса. По словам CMI, цель этой инициативы — повысить осведомленность широкой общественности о том, что математика имеет открытые границы, полные важнейших еще не решенных вопросов.
В настоящее время Проблемы тысячелетия входят в число наиболее изучаемых тем в этой области, и CMI не установил крайнего срока для их решения. За последние 26 лет только одна из них была официально решена: гипотеза Пуанкаре в 2003 году русским математиком Григорием Перельманом. Однако недавно OpenAI объявила, что один из ее искусственных интеллектов смог решить проблему Навье-Стокса.
Для иллюстрации математических концепций двумерная сфера рассматривается как единая замкнутая и связная поверхность. Практический пример — яблоко: если эластичная лента растянуть вокруг его поверхности, ее можно свести к одной точке, не разрывая и не выходя за пределы поверхности. В отличие от этого, если представить ту же ленту, растянутую вокруг винтового профиля, становится невозможно свести ее к точке без разрыва ленты или самого винта.
В 1904 году Анри Пуанкаре определил, что эта динамика может быть представлена двумерными поверхностями объектов: поверхность яблока классифицируется как «просто связная», в то время как поверхность винта — нет. Гипотеза Пуанкаре стала продолжением этого исследования, стремясь выяснить, применима ли это открытие о двумерных поверхностях и к трехмерным формам.
В период с 2002 по 2003 год Перельман продемонстрировал, что любое замкнутое трехмерное пространство без дыр эквивалентно сфере, тем самым подтвердив обоснованность открытия Пуанкаре в трех измерениях.
Проблема P против NP в настоящее время считается самой большой нерешенной задачей в информатике. Она основана на следующем вопросе: если относительно легко проверить правильность решения определенной задачи, означает ли это, что найти это решение также легко?
Сам Институт математики Клэй (CMI) приводит пример: представьте задачу размещения жилья для 400 студентов университета, при этом только 100 будут выбраны для общежития, и существуют ограничения, согласно которым определенные студенты не могут жить вместе. В этом сценарии легко проверить, соответствует ли конкретный выбор критериям, но процесс генерации этого списка с нуля чрезвычайно сложен.
Математики полагают, что уравнения Навье-Стокса могут позволить прогнозировать как ветер, так и турбулентность, поскольку эти уравнения описывают движение жидкостей, таких как вода. Несмотря на то, что они были сформулированы в XIX веке, понимание этих уравнений остается довольно ограниченным. Проблема Навье-Стокса ставит вопрос о том, генерируют ли эти уравнения всегда допустимое решение для всех времен или могут ли они породить сингулярность при определенных условиях.
Утверждение OpenAI предполагает, что она определила именно такую ситуацию второго типа.
Распределение простых чисел среди натуральных чисел не следует предсказуемому шаблону. Однако немецкий математик Г.Ф.Б. Риман (1826–1866) заметил, что частота этих простых чисел связана с поведением комплексной функции. Гипотеза Римана постулирует, что все нетривиальные нули уравнения ζ(s) = 0 расположены на определенной вертикальной линии. Хотя утверждение было доказано для первых 10 триллионов решений, его истинность для всех решений до сих пор неизвестна.
В 1954 году Чэнь Нинг Янг и Роберт Миллс ввели новую структуру для описания элементарных частиц с использованием структур, найденных в геометрии. Хотя теория Янга-Миллса хорошо установлена, ее математическое основание все еще нуждается в прояснении. Моделирование и эксперименты указывают на существование «массового зазора», где состояние наименьшей энергии выше вакуума имело бы минимальную положительную энергию. Задача состоит в том, чтобы математически доказать строгое существование этой теории и возникновение этого зазора.
Проблема Бирча и Свиннертона-Дайера предлагает новую предпосылку в Теории чисел, примененной к эллиптическим кривым. Эллиптические кривые определяются специфическими уравнениями, такими как y² = x³ + ax + b, и могут иметь конечное или бесконечное число точек с рациональными координатами. Эта гипотеза устанавливает связь между количеством этих точек и поведением математической функции, связанной с кривой.
Как объясняет CMI, «когда решения являются точками абелевой многообразия, гипотеза Бирча и Свиннертона-Дайера утверждает, что размер группы рациональных точек связан с поведением дзета-функции, связанной с ней, ζ(s), вблизи точки s=1».
Гипотеза Ходжа исследует, в какой степени топологические характеристики определенных геометрических пространств могут быть объяснены элементами, определяемыми алгебраическими уравнениями. Она утверждает, что определенные топологические свойства этих пространств соответствуют комбинациям подпространств, которые также могут быть описаны алгебраическими уравнениями.
