10 сложнейших задач математики, которые выглядят обманчиво легко, но не решены до сих пор

В естественных науках критерием истинности служит эксперимент. Если физическая модель согласуется с измерениями с точностью до десятого знака после запятой, ее принимают как достоверную. В чистой математике этот принцип не работает. Проверка математического утверждения для первых ста триллионов чисел не доказывает, что оно верно для всех чисел без исключения. Достаточно одного контрпримера на бесконечности, чтобы гипотеза оказалась ложной.

По этой причине современные вычислительные комплексы и нейросетевые модели пока не способны решить главные открытые проблемы математики. Алгоритмы искусственного интеллекта работают на основе статистических закономерностей и вероятностей. Математическое доказательство, напротив, требует строгой дедуктивной цепочки рассуждений, в которой каждый шаг логически следует из принятых аксиом.

Тут предлагаю разобрать десять классических математических задач. Их формулировки не требуют знания университетской программы, однако полные доказательства для них не найдены до сих пор.

1. Гипотеза Римана

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

В чем суть

Отправной точкой стала публикация Римана 1859 года, где детально анализировались свойства дзета-соотношения. При выборе любого действительного параметра s строго больше единицы это выражение раскладывается в бесконечный ряд убывающих степеней:

ζ(s) = 1 + 1/2ˢ + 1/3ˢ + 1/4ˢ + …

Например, если подставить s = 2, получится ряд 1 + 1/4 + 1/9 + 1/16 + …, сумма которого в точности равна π² / 6.

Риман расширил область действия этой функции на комплексные числа. Комплексное число записывается в виде s = a + bi, где a — действительная часть, а bi — мнимая часть, содержащая число i (корень из -1).

В ряде специфических комплексных координат расчет дает на выходе чистый ноль. Эти критические позиции принято разделять на две принципиально разные группы:

1. Тривиальные корни выявляются прямым аналитическим расчетом: к ним относится вся последовательность четных отрицательных значений (-2, -4, -6, -8 и далее).
2. Скрытые (нетривиальные) корни сосредоточены исключительно в пределах вертикального створа, где действительная координата a строго зажата между нулем и единицей.

Основное утверждение: Действительная координата любого сложного решения, обнуляющего функцию Римана, в точности составляет ровно 0,5. На координатной плоскости данное свойство собирает все без исключения особые точки вдоль единственной центральной оси.

Почему это важно

Главная заслуга Римана заключалась в установлении жесткой зависимости: положение этих корней служит скрытым регулятором плотности и дистанций между простыми числами (значениями, не имеющими иных делителей, помимо единицы и самих себя). Вычислительные комплексы уже протестировали свыше десяти триллионов начальных корней, и абсолютно все они совпали с осевой отметкой 0,5. Тем не менее, сколь угодно большая выборка конечна, а исчерпывающего логического обоснования для всей бесконечности наука до сих пор не получила.

2. Гипотеза Коллатца (проблема 3n + 1)

Гипотеза Коллатца — пример задачи с элементарными правилами, которая демонстрирует предельно сложное поведение.

В чем суть

Возьмите любое натуральное число n и примените к нему следующее правило:

• Если число четное, разделите его на 2: n → n / 2.
• Если число нечетное, умножьте его на 3 и прибавьте 1: n → 3n + 1.

Повторяйте эту операцию с каждым вновь полученным результатом.

После единицы алгоритм зацикливается: 1 → 4 → 2 → 1.

Формулировка гипотезы: Какое бы натуральное число мы ни взяли в качестве начального, эта цепочка шагов рано или поздно всегда придет к единице.

Почему это сложно

Ряд чисел ведет себя нелинейно: значения могут долго возрастать до десятков тысяч, а затем резко падать. Например, для числа 27 цепочка состоит из 111 шагов и поднимается до значения 9232, прежде чем опуститься к 1.

Вычислительные кластеры протестировали все варианты вплоть до отметки 2 в степени 68, и ни одна последовательность не избежала падения к единичному циклу. Заметный шаг вперед сделал Теренс Тао, сумев строго обосновать, что правило выполняется для подавляющего большинства элементов с точки зрения распределения плотности. Однако стопроцентной гарантии это не дает: фундаментальная наука оставляет вероятность существования аномального числа с бесконечно восходящей траекторией либо альтернативным замкнутым кольцом шагов.

3. Бинарная проблема Гольдбаха

Отсчет поисков ведется с середины XVIII века, когда академик Гольдбах отправил Эйлеру лаконичную догадку о суммах простых слагаемых. С тех пор прошло более 280 лет, однако исчерпывающего аналитического подтверждения его наблюдение не получило до сих пор.

Основной тезис: Каждое четное натуральное значение, превосходящее двойку, гарантированно раскладывается на пару простых слагаемых.

В чем сложность

Для небольших чисел утверждение проверяется вычислением в уме. При увеличении четного числа количество способов представить его суммой двух простых чисел только возрастает. Например, число 10 можно представить двумя способами, а число 1000 — уже десятками способов.

В силу этого статистический шанс наткнуться на «безответную» четную величину стремится к нулю. Вычислительные машины подтвердили правило для гигантского числового диапазона — вплоть до 4 x 10¹⁸ (четырех квинтиллионов). Но в фундаментальной арифметике безупречная работа алгоритма на гигантском конечном отрезке не исключает внезапной аномалии за его пределами, поэтому универсальный дедуктивный вывод до сих пор отсутствует.

4. Гипотеза о простых числах-близнецах

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

(3, 5), (5, 7), (11, 13), (17, 19), (41, 43), (101, 103), (599, 601)…

Основной тезис: Множество неразложимых числовых пар с разностью ровно в две единицы не имеет конца и продолжается вдоль числовой оси до бесконечности.

Современное состояние проблемы

Десятилетиями аналитическая теория не могла дать ответ на базовый вопрос: существует ли вообще некий конечный предел дистанции между соседними простыми элементами, который повторялся бы бесконечно часто.

Переломный момент наступил в 2013-м благодаря работе Итана Чжана. Ученый совершил исторический прорыв, установив первую в истории конечную планку: число простых пар с разрывом не более 70 миллионов оказалось бесконечным. Затем группа математиков под руководством Джеймса Мейнарда и Теренса Тао усовершенствовала этот метод и уменьшила интервал с 70 миллионов до 246. Если удастся сократить этот интервал с 246 до 2, гипотеза будет полностью доказана, но текущие методы подошли к пределу своих аналитических возможностей.

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

Эта гипотеза также относится к списку семи «Задач тысячелетия» и связывает геометрию алгебраических уравнений с математическим анализом.

В чем суть

Уравнения вида y² = x³ + ax + b (где a и b — рациональные числа) задают так называемые эллиптические кривые.

Математиков интересуют точки на этих кривых, координаты которых (x, y) являются рациональными числами (то есть обыкновенными дробями p/q). Таких точек может быть конечное число, а может быть бесконечно много.

Чтобы сосчитать такие точки, составляют специальную функцию, называемую L-функцией данной кривой: L(E, s).

Формулировка гипотезы: Количество независимых рациональных точек бесконечного порядка на эллиптической кривой (ее алгебраический ранг) равно порядку нуля ее L-функции в точке s = 1.

Если значение L(E, 1) не равно нулю, то кривая содержит лишь конечное число рациональных точек. Если значение функции равно нулю, то точек бесконечно много, а точный порядок нуля указывает структуру этого множества. Гипотеза открывает путь к полному описанию рациональных решений сложных полиномиальных уравнений, которые сегодня используются, например, в алгоритмах криптографии.

6. Задача о контактных числах

Задача о контактных числах относится к геометрии и формулируется для пространств любой размерности.

Формулировка задачи: Какое максимальное число одинаковых шаров можно прижать к одному такому же центральному шару без их взаимного пересечения и деформации?

Что известно математикам:

• На прямой (1D): ответ равен 2 (один шар слева, один справа).
• На плоскости (2D): ответ равен 6 (шесть одинаковых монет точно окружают седьмую в центре).
• В трехмерном пространстве (3D): ответ равен 12. Этот факт вызвал спор между Исааком Ньютоном (считавшим, что ответ 12) и Давидом Грегори (полагавшим, что шаров поместится 13). Правоту Ньютона строго доказали только в 1953 году.
• В четырехмерном пространстве (4D): ответ равен 24 (доказано в 2003 году Олегом Мусиным).
• В восьмимерном пространстве (8D): ответ равен 240.
• В двадцатичетырехмерном пространстве (24D): ответ равен 196 560.

Для большинства других размерностей точное число неизвестно. Например, для пятимерного пространства (5D) математики доказали лишь то, что контактное число находится в диапазоне от 40 до 44. Точного значения наука пока назвать не может из-за резкого роста геометрических степеней свободы при добавлении новых пространственных осей.

7. Проблема распознавания тривиальности узла

В топологии «узлом» называют замкнутую непересекающуюся пространственную кривую. Самый простой узел — это тривиальный узел, представляющий собой обычную незапутанную окружность.

Если взять замкнутую веревку и сложным образом переплести ее витки, визуально она станет похожа на сложный узел. Но если ее можно распутать обратно в обычное кольцо, не разрезая, то этот узел считается тривиальным.

Формулировка задачи: Существует ли алгоритм, который может определить, является ли узел тривиальным, за полиномиальное время (то есть за практичное число вычислительных шагов, зависящее от степени сложности узла как Nᵏ, а не как экспонента 2ᴺ)?

В чем сложность

Математики доказали, что задача в принципе алгоритмически разрешима. Однако все существующие сегодня строгие методы при увеличении числа пересечений нити требуют резкого роста времени расчетов. Вопрос о том, принадлежит ли эта задача классу сложности P (задачам, быстро решаемым на компьютерах), остается открытым и напрямую связан с фундаментальным вопросом компьютерных наук: равна ли сложность проверки решения сложности его поиска (P = NP).

8. Иерархия больших кардиналов

В конце XIX века Георг Кантор доказал, что бесконечности бывают разных размеров. Бесконечность натуральных чисел (1, 2, 3…) счетна и обозначается символом ℵ₀ («алеф-ноль»). Бесконечность точек на отрезке вещественных чисел (континуум) строго больше: ее нельзя сопоставить с натуральными числами один к одному.

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

Суть проблемы: Существование таких кардиналов невозможно доказать в рамках стандартной системы математических аксиом Цермело — Френкеля (ZFC). Исследователи вынуждены добавлять утверждения об их существовании в виде отдельных дополнительных аксиом. Главный нерешенный вопрос: где находится предел этой иерархии и не приведет ли введение очередного уровня бесконечности к логическому противоречию внутри самой системы математики?

9. Алгебраический статус суммы π + e

Все вещественные числа делятся на две категории:

1. Алгебраические значения: это элементы, получаемые в качестве корней полиномов, чьи коэффициенты заданы исключительно целыми числами. Наглядный пример — величина √2, удовлетворяющая равенству x² - 2 = 0, равно как и абсолютно любая дробь вида p/q.
2. Трансцендентные величины: математические объекты, не поддающиеся алгебраическому описанию. Для них не существует ни одного целочисленного многочлена, решением которого они могли бы послужить.

Число π (≈ 3,14159) и число e (≈ 2,71828) — самые известные математические постоянные. Их природа давно доказана:

• в 1873-м французский аналитик Шарль Эрмит строго обосновал неалгебраический (трансцендентный) статус константы e;
• спустя девять лет (1882 г.) Фердинанд фон Линдеман подтвердил аналогичную трансцендентную природу для геометрической константы π;

Итог классических теорем: неалгебраичность (трансцендентность) доказана для π и e изолированно друг от друга

Суть проблемы: Математики до сих пор не знают статус простых арифметических комбинаций этих чисел:

π + e =? π x e =? π / e =? πᵉ =?

Исследователи не способны подтвердить даже базовую иррациональность суммы π + e: математически пока не исключено, что результат их сложения внезапно окажется обычной дробью вида p/q. Единственный доказанный факт сводится к тому, что сумма π + e и произведение π x e не способны оказаться алгебраическими числами в одно и то же время. Однако индивидуальная классификация каждого из выражений остается за гранью возможностей науки: исследователи попросту лишены теоретического аппарата для препарирования связок между двумя независимыми трансцендентными величинами.

10. Рациональность постоянной Эйлера — Маскерони (γ)

Если сложить члены ряда обратных чисел 1 + 1/2 + 1/3 + … + 1/n и вычесть из этой суммы величину натурального логарифма ln(n), то при стремлении n к бесконечности эта разность стремится к конкретному фиксированному значению:

γ = lim (1 + 1/2 + 1/3 + … + 1/n — ln(n)) при n → ∞ ≈ 0,5772156649…

Это число обозначается греческой буквой γ (гамма) и называется постоянной Эйлера — Маскерони.

Константа γ постоянно встречается в формулах теории чисел, математического анализа и при расчете интегралов в физике.

Формулировка проблемы: Является ли число γ рациональным (то есть представимым в виде дроби p/q, где p и q — целые числа) или иррациональным?

Суперкомпьютеры вычислили значение γ до нескольких сотен миллиардов знаков после запятой. Если это число рационально и представимо в виде дроби p/q, то его знаменатель q обязан быть больше числа 10²⁴²⁰⁸⁰ (единица с более чем 242 тысячами нулей). Математики предполагают, что γ иррациональна, но строгого доказательства этого факта не существует уже почти триста лет.

Почему численные методы бессильны

Все десять перечисленных проблем объединяет одно фундаментальное свойство: они сформулированы для бесконечных множеств.

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