В 1900 году Давид Гильберт представил 23 нерешённых математических проблемы, обозначив их как ориентир для будущих поколений математиков. Эти задачи затронули основные направления математической науки, и за следующие десятилетия, за исключением пяти вопросов, все задачи были решены, причём на их основе возникли целые математические дисциплины.
В конце XX века возник вопрос: какие новые задачи будут интересовать науку в новом тысячелетии? В ответ на это, в 2000 году в Париже, в Collège de France, Институт математики Клэя, основанный двумя годами ранее, предложил амбициозный проект «Задачи тысячелетия». Идея заключалась в том, чтобы предложить современным математикам и будущим поколениям ряд сложных задач, которые могли бы стать новыми вехами в науке. Научно-консультативный совет тщательно отбирал проблемы, обсуждая их на протяжении нескольких месяцев, и к концу 1999 года сформировался список из семи задач, которые стали вызовом для всех математиков мира.
Список задач тысячелетия
Гипотеза Пуанкаре — утверждала, что любое трёхмерное замкнутое пространство, топологически эквивалентное сфере, действительно имеет такую же форму. Она стала одной из самых известных задач, единственным решённым вопросом в списке. В 2002–2003 годах российский математик Григорий Перельман доказал эту гипотезу, опубликовав три статьи на сервере ArXiv. Его работы произвели революцию в области, причём сам он отказался от всех наград, включая престижную Филдсовскую медаль и миллион долларов от Института Клэя, оставшись верен своей философии, что главное для учёного — истина, а не признание.
Гипотеза Римана — связана с распределением простых чисел и утверждает, что все нетривиальные нули дзета-функции Римана имеют вещественную часть, равную 1/2. Эта гипотеза остаётся нерешённой уже более 150 лет и считается одной из важнейших задач теории чисел. Решение гипотезы могло бы дать ключ к глубинному пониманию природы простых чисел.
Проблема существования и гладкости решений уравнений Навье-Стокса — имеет большое значение для физики и инженерии, поскольку затрагивает фундаментальный вопрос о поведении жидкостей и газов в движении. Если существование и гладкость решений этих уравнений будут доказаны, это поможет лучше понять природу турбулентности — явления, до сих пор плохо поддающегося описанию.
Гипотеза Ходжа — касается соотношений между геометрией и алгебраическими циклами на комплексных многообразиях, пытаясь выявить более глубокую структуру в их свойствах. Доказательство этой гипотезы помогло бы в решении многих задач в области алгебраической геометрии и дифференциальной топологии.
Гипотеза Бирча и Свиннертон-Дайера — утверждает, что поведение определённой функции на эллиптической кривой может предсказывать, имеется ли на ней конечное или бесконечное количество рациональных точек. Это одно из важнейших утверждений в теории чисел, связанное с криптографией и анализом кривых, используемых в современных цифровых технологиях.
Проблема P vs NP — одна из центральных задач информатики, ставит вопрос: если для задачи можно быстро проверить правильность решения, можно ли её также быстро решить? Решение этой проблемы может перевернуть все представления о вычислительных процессах, так как затрагивает эффективность алгоритмов и их применение в криптографии, логистике, медицине и других областях.
Существование и массовый зазор в теории Янга-Миллса — задача, важная для квантовой физики и теории поля, утверждает, что существует некоторая величина (массовый зазор), ниже которой у поля Янга-Миллса не может быть колебаний. Это помогло бы в понимании фундаментальных свойств частиц и взаимодействий, влияя на развитие квантовой физики.
Вызов тысячелетия
Институт Клэя пообещал награду в один миллион долларов за доказательство или опровержение каждой из этих задач, создав грандиозный стимул для математиков всего мира. Однако, несмотря на это, за прошедшие 20 с лишним лет ни одна из оставшихся задач пока не решена.
Григорий Перельман и его отказ от наград
История решения гипотезы Пуанкаре уникальна благодаря личности её автора. В ноябре 2002 года Григорий Перельман опубликовал первую из трёх работ, где предложил новаторский подход к доказательству гипотезы, используя метод риччи-потока. Его статьи сразу привлекли внимание, хотя были полны нестандартных решений, изобиловали пропусками и шли вразрез с академическими традициями. Тем не менее, через три года научное сообщество признало его доказательство правильным, сделав его автором одного из крупнейших достижений математики XXI века.
Перельман отказался от всех наград, объяснив своё решение личными убеждениями. Он разочаровался в научной среде и отказался от миллионного приза, посчитав, что математическое сообщество недостаточно честно в своих оценках. Сейчас он ведёт закрытый образ жизни, а его отказ от признания стал символом приверженности истине и научной строгости.
Вызов для нового поколения
Оставшиеся шесть задач тысячелетия стали вызовом для молодых поколений. Как отметил Майкл Атья, один из авторитетов в математике, эти задачи не просто ради денег, а ради поиска новых математических горизонтов.
Источник: SecurityLab