В 2000 году частный фонд из Массачусетса — Математический институт Клэя — пообещал 1 миллион долларов за решение каждой из семи математических задач. Не простых: таких, на которых уже потерпели неудачу лучшие из ныне живущих математиков, некоторые — больше века. Двадцать шесть лет спустя шесть задач по-прежнему открыты, одна решена, а ещё одна, по состоянию на 2 октября 2026 года, находится в по-настоящему интересном промежуточном положении. Вот о чём на самом деле спрашивает каждая из семи — простыми словами — и где именно каждая находится сегодня.
Различие, которое учащиеся часто упускают
Статус проверен: 2 октября 2026 года
1. Гипотеза Римана
Вопрос в одном предложении: существует ли скрытая точная закономерность в том, как простые числа (2, 3, 5, 7, 11, 13…) становятся всё реже по мере роста чисел?
По отдельности простые числа выглядят разбросанными и непредсказуемыми, но существует особый математический объект — дзета-функция Римана, — поведение которого напрямую связано с распределением простых чисел. Гипотеза Римана предсказывает, что все «нетривиальные нули» этой функции (определённые точки, где она равна нулю) лежат на одной строго определённой прямой. Если это так, то можно было бы точно установить, насколько равномерно распределены простые числа, — гораздо точнее, чем позволяет всё доказанное на сегодняшний день.
Где аналогия перестаёт работать: заманчиво представлять это как «поиск закономерности в самих простых числах», но гипотеза на самом деле — утверждение о другой, специально построенной функции, которая кодирует информацию о простых числах, а не прямое правило вроде «каждое второе простое число…».
Почему это важно: огромные разделы теории чисел уже исходят из того, что гипотеза Римана верна, и строятся на этом; доказательство мгновенно превратило бы сотни существующих результатов из «верно, если верна гипотеза Римана» просто в «верно».
Статус: открыта. Компьютерами проверено более 10 триллионов таких нулей, и каждый лежит точно на предсказанной прямой. Ни одного исключения не найдено — но и доказательства того, что исключения быть не может, тоже нет.
2. P против NP
Вопрос в одном предложении: если решение задачи можно быстро проверить, когда оно уже есть, всегда ли его можно так же быстро найти?
Представьте гигантское судоку или поиск наилучшего маршрута доставки через 500 городов. Проверить заполненное судоку или проверить, укладывается ли данный маршрут в заданную длину, — почти мгновенно. А вот действительно решить задачу с нуля, по мере её роста, судя по всему, требует несравнимо больше времени: число вариантов растёт взрывообразно. Вопрос P против NP — является ли этот разрыв между проверкой и решением фундаментальным, неустранимым фактом математики или лишь признаком того, что никто пока не нашёл достаточно хитрого метода.
Различие, которое учащиеся часто упускают
Это не просто «могут ли компьютеры решать трудные задачи?»
Почему это важно: почти каждый пароль, каждый защищённый сайт, все зашифрованные данные опираются на то, что некоторые задачи легко проверить, но трудно решить. Если бы было доказано, что P = NP, — и существовал бы по-настоящему быстрый метод, — бо́льшую часть современной криптографии пришлось бы строить заново.
Статус: открыта. Подавляющее большинство специалистов по информатике считает, что P ≠ NP (то есть разрыв реален и неустраним), но никто не доказал этого ни в одну, ни в другую сторону.
3. Задача о существовании и гладкости решений уравнений Навье — Стокса
Вопрос в одном предложении: всегда ли уравнения, описывающие движение жидкостей и газов (воды, воздуха, всего, что течёт), ведут себя хорошо — бесконечно долго, — или идеально гладкое начальное течение может внезапно «взорваться», достигнув бесконечной скорости или турбулентности за конечное время?
Уравнения Навье — Стокса — это математика, на которой стоят модели погоды, проектирование самолётов и расчёт океанских течений; физики и инженеры постоянно ими пользуются с огромным практическим успехом. Но так и не было доказано, надёжны ли сами уравнения с математической точки зрения в каждом случае. При гладких, разумных начальных условиях всегда ли они дают гладкие, осмысленные ответы бесконечно долго? Или сама математика может дать сбой («сингулярность»), хотя физически ничего безумного не происходит?
Различие, которое учащиеся часто упускают
Это не просто «можем ли мы предсказывать погоду?»
Статус на 2 октября 2026 года: по-настоящему промежуточный. В сентябре 2026 года был объявлен результат по этой задаче — несколько изданий связали его с исследованиями OpenAI, — предлагающий случай, когда гладкое начальное течение действительно «взрывается» за конечное время. Математический институт Клэя 11 сентября 2026 года ответил, что задача «по-видимому, решена» («apparently been settled»), но прямо указал, что процесс её оценки «намеренно неторопливый» («deliberately unhurried»). Это не то же самое, что официальное присуждение премии, — см. блок ниже.
Различие, которое учащиеся часто упускают
Заявленное решение ≠ принятое доказательство ≠ присуждённая премия
- Заявленное решение — результат объявлен, часто в виде препринта, и ещё не проверен независимо.
- Признание сообществом — другие специалисты независимо проверяют рассуждение строка за строкой, часто месяцами или годами, и область в целом соглашается, что оно верно.
- Официальное присуждение премии — правила Института Клэя требуют публикации в подходящем издании, а затем не менее двух лет ожидания, прежде чем комитет вообще рассмотрит возможность рекомендовать присуждение.
На момент написания статьи задача Навье — Стокса прошла только первый из этих трёх шагов.
4. Задача о существовании теории Янга — Миллса и щели масс
Вопрос в одном предложении: можно ли поставить математику, лежащую в основе Стандартной модели физики элементарных частиц, на полностью строгий фундамент — и если да, предсказывает ли она верно, что у самой лёгкой допускаемой ею частицы масса строго положительна («щель масс»), ровно как это наблюдается в экспериментах?
Углублённый уровень магистратуры
Физики постоянно пользуются теорией Янга — Миллса, и она совпадает с экспериментами с поразительной точностью. Не хватает полностью строгого математического построения самой теории — безупречного фундамента, которого требуют скорее математики, чем физики, — а также доказательства того, что теория действительно вынуждает существование этой щели масс, а не просто наблюдается на практике.
Почему это важно: задача лежит точно на стыке физики и чистой математики; её решение стало бы одним из самых глубоких подтверждений того, что математическая структура современной физики логически стройна, а не просто успешна на опыте.
Статус: открыта. Многие математики считают её одной из самых трудных и технически сложных из семи.
5. Гипотеза Ходжа
Вопрос в одном предложении: верно ли, что у определённого «хорошего» семейства фигур, построенных из полиномиальных уравнений, все их «естественные» внутренние структуры действительно происходят из более простых алгебраических частей, как и ожидается?
Углублённый уровень магистратуры
Это область алгебраической геометрии — науки о фигурах, заданных полиномиальными уравнениями (то же семейство объектов, что и эллиптические кривые ниже). У некоторых фигур есть внутренние особенности, которые описываются топологией (изучением формы в очень гибком смысле, где разрешено растягивать и изгибать). Гипотеза Ходжа предсказывает, что для определённого «хорошего» класса таких фигур каждую из этих топологических особенностей можно также построить непосредственно из алгебраических частей (подфигур, которые сами являются решениями полиномиальных уравнений). Это вопрос о том, всегда ли согласуются два разных взгляда на одну и ту же фигуру — топологический и алгебраический.
Статус: открыта и считается одной из самых трудных даже для точной формулировки для широкой аудитории — доказана во многих частных случаях, но не как общее правило.
6. Гипотеза Бёрча — Свиннертон-Дайера
Вопрос в одном предложении: можно ли для особого вида кривых («эллиптических кривых») предсказать, сколько у них решений в целых числах или дробях, просто глядя на поведение связанной с ними функции?
Эллиптические кривые — это уравнения вида y² = x³ + ax + b, обманчиво простые на вид и центральные для современной криптографии (включая шифрование, защищающее большинство банковских приложений) и для знаменитого доказательства Великой теоремы Ферма Эндрю Уайлсом. У одних эллиптических кривых бесконечно много рациональных решений, у других — лишь конечное число. Гипотеза утверждает, что определить, с какой кривой мы имеем дело, — и даже оценить, насколько «богата» она решениями, — можно исключительно по поведению вблизи определённой точки отдельной функции, построенной по этой кривой (её L-функции).
Почему это важно: она превратила бы вопрос, который сейчас решается от случая к случаю и часто с большим трудом вычислительно («сколько решений у этой кривой?»), в задачу, на которую можно ответить по ясному, доказуемому правилу.
Статус: открыта, хотя проверена вычислительно для очень большого числа отдельных эллиптических кривых — каждая проверенная до сих пор кривая ведёт себя ровно так, как предсказывает гипотеза.
7. Гипотеза Пуанкаре — та, что решена
Вопрос в одном предложении: если трёхмерная фигура не имеет «дыр» (в точном топологическом смысле) и в остальном устроена хорошо, обязана ли она на самом деле быть (многомерной) сферой — разве что растянутой или деформированной?
В двух измерениях это почти очевидно: любую петлю на поверхности сферы можно стянуть в точку, не покидая поверхности, а петлю вокруг дырки бублика никогда не стянуть в точку, оставаясь на бублике, — поэтому сфера и бублик действительно разные фигуры. Гипотеза Пуанкаре спрашивала, выполняется ли то же правило — «нет дыр — значит, по сути, сфера» — на одно измерение выше, для трёхмерных фигур в четырёхмерном пространстве: это гораздо труднее представить и гораздо труднее доказать.
Статус: решена. Григорий Перельман доказал её в 2002–2003 годах с помощью метода, называемого потоком Риччи (его разработал Ричард Гамильтон), который постепенно, шаг за шагом, «сглаживает» геометрию фигуры, пока не проявится её истинное устройство.
Хронология
- 2000Математический институт Клэя объявляет семь задач тысячелетия с премией 1 миллион долларов за каждую.
- 2002–03Григорий Перельман публикует на arXiv три работы с доказательством гипотезы Пуанкаре (через гипотезу геометризации Тёрстона).
- ~2006Несколько независимых групп завершают построчную проверку доказательства Перельмана; математическое сообщество признаёт его верным.
- 2006Перельману присуждают Филдсовскую медаль за эту работу — он от неё отказывается.
- 2010Институт Клэя официально присуждает Перельману премию тысячелетия в 1 миллион долларов. Он отказывается и от неё.
- Сент. 2026Объявлен результат по задаче Навье — Стокса; Институт Клэя называет её «по-видимому, решённой», оценка продолжается (статус на 2 октября 2026 года).
Сводная таблица
| Задача | Область | Статус (2 октября 2026 года) |
|---|---|---|
| Гипотеза Римана | Теория чисел | Открыта |
| P против NP | Информатика / логика | Открыта |
| Существование и гладкость решений Навье — Стокса | Гидродинамика / УЧП | Заявлено решение, идёт оценка |
| Существование теории Янга — Миллса и щель масс | Математическая физика | Открыта |
| Гипотеза Ходжа | Алгебраическая геометрия | Открыта |
| Гипотеза Бёрча — Свиннертон-Дайера | Теория чисел | Открыта |
| Гипотеза Пуанкаре | Топология | Решена (Перельман, 2003; премия присуждена в 2010) |
Попробуйте сами: свидетельства или доказательство?
У нескольких из этих задач — нулей Римана, вопросов в духе Гольдбаха, гипотезы Коллатца — одна и та же ловушка: подавляющие численные свидетельства, которые ощущаются как доказательство, но им не являются. Подвигайте ползунок ниже, чтобы понять почему.
Проверка примеров против доказательства для всех случаев
Сдвиньте ползунок до упора вправо. Как бы далеко вы его ни двигали, полоса никогда не дойдёт до «всех целых чисел»: их бесконечно много, и никакая проверка — вручную или на компьютере — не может закончиться. В этом и есть настоящая разница между сильными численными свидетельствами (как 2⁶⁸ подтверждённых случаев для гипотезы Коллатца) и математическим доказательством, которое охватывает все случаи сразу с помощью чистой логики, не оставляя ничего непроверенного.
Сколько бы случаев вы ни проверили, множество «всех целых чисел» никогда не заканчивается — в этом и состоит настоящий разрыв между свидетельствами и доказательством.
Проверьте себя
Десять триллионов нулей дзета-функции Римана найдены точно на предсказанной прямой. Доказывает ли это гипотезу Римана?
Что почитать дальше
Эта статья посвящена семи официальным задачам тысячелетия. В математике есть и множество других знаменитых открытых вопросов за пределами этого списка — гипотеза о простых числах-близнецах, гипотеза Коллатца, abc-гипотеза и другие, — у каждого свой, часто совсем иной статус. Наш раздел о нерешённых математических загадках собирает их все рядом, с той же аккуратностью в отношении того, что действительно доказано, а что лишь предполагается. А если вам интересно, сможет ли ИИ решить какую-нибудь из них за нас, — статья Умеет ли ИИ на самом деле решать математику? посвящена именно этому вопросу.
Источники и дополнительное чтение
- Clay Mathematics Institute — Millennium Problems — официальные правила и текущий статус всех семи задач
- Clay Mathematics Institute — Navier–Stokes announcement — заявление от 11 сентября 2026 года
- Millennium Prize Problems — Wikipedia
- OpenAI says it has solved one of math's "Millennium Problems" — CNN Business
Последняя проверка: 2 октября 2026 года. Статус этих задач может меняться; актуальное положение смотрите в официальных источниках выше.
Часто задаваемые вопросы
Решена ли хоть одна задача тысячелетия?
Да — одна из первоначальных семи. Гипотезу Пуанкаре доказал Григорий Перельман (опираясь на более ранние работы Ричарда Гамильтона) в 2002–2003 годах. Доказательство независимо проверили несколько групп математиков примерно к 2006 году, а в 2010 году Математический институт Клэя официально присудил ему премию в 1 миллион долларов. Перельман отказался и от этой премии, и от Филдсовской медали, предложенной за ту же работу.
Решена ли задача Навье — Стокса сейчас, в 2026 году?
По состоянию на 2 октября 2026 года — нет, во всяком случае официально. В сентябре 2026 года был предложен результат (в СМИ его широко связывали с исследовательской группой OpenAI), который претендует на решение задачи. В заявлении Математического института Клэя от 11 сентября 2026 года говорится, что задача, «по-видимому, решена» («apparently been settled»). Но процесс её оценки «намеренно неторопливый» («deliberately unhurried»): нужно проверить, что результат верен, опубликован и не менее двух лет широко признаётся математическим сообществом. «По-видимому» и «официально подтверждено» — разные вещи; см. блок о различии в этой статье.
Почему верному доказательству иногда приходится годами ждать премии?
Правила Института Клэя требуют, чтобы предложенное решение было опубликовано в признанном журнале, соответствующем условиям премии, а затем получило общее признание мирового математического сообщества. Это сделано намеренно: объявление, препринт или даже технически верный, но непроверенный аргумент не должны вознаграждаться, пока вся область не получила реальную возможность проверить его строка за строкой. Даже результат Перельмана, который специалисты по существу приняли за несколько лет, был официально отмечен премией лишь в 2010 году — примерно через четыре года после этого неофициального признания.
Нужно ли мне понимать все семь задач для экзаменов?
Нет. Ни одна из них не входит напрямую в программу GCSE, A-Level или IB — они лежат далеко за пределами любой школьной программы. Зато они дают честное и подлинное представление о том, как на самом деле выглядит исследовательская математика на границе известного. Некоторые из них напрямую соприкасаются с тем, что встречается в A-Level и в университете: связь гипотезы Римана с подсчётом простых чисел, связь P против NP с информатикой, связь задачи Навье — Стокса с течением жидкостей.
Оценки и отзывы читателей
Оцените эту статью по нескольким критериям — ваше мнение помогает другим читателям и помогает нам становиться лучше.
Была ли эта статья полезной?
Расскажите, что вы думаете — исправление, вопрос, оставшийся без ответа, или тема, которую вы хотели бы увидеть далее.
Хотите обсудить голосом? Запишитесь на бесплатный видеозвонок в удобное время: 15 минут для короткого вопроса, 30 — для всего остального. Время показывается в вашем часовом поясе.
Об авторе
Sudershan Soni
Основатель и главный преподаватель в Mostak Services — репетитор по математике, естественным наукам, информатике и STEM со степенью магистра и более чем 20-летним профессиональным опытом, преподаёт ученикам от уровня 11+ и GCSE до A-Level и выше, онлайн по всему миру.
Читать полный профиль