Математика высоких ставок

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

В июне произошло нечто примечательное. Группы исследователей из Лондона и Беркли собрались вместе, чтобы составить список из 50 задач с важным условием: каждая из них должна проверяться автоматически. Это не просто академическая аккуратность — такой подход устраняет разрыв между человеческой интуицией и машинной проверкой, создавая пространство для настоящего сотрудничества между ИИ и математиками.

Ян-Хуэй Хэ, математик из Лондонского института математических наук, пришёл на семинар вместе с маленьким сыном. Пока ребёнок жевал торт, учёные коллективно отправляли задачи по теории узлов, алгебре, топологии и теории чисел. В этой картине есть что-то трогательно человеческое — вековые математические традиции встречаются с новым поколением.

Задачи, не дающие спать математикам

Список напоминает сборник математических страданий. Вот несколько примеров:

Сумма трёх кубов

Что происходит, когда вы пытаетесь представить число как сумму трёх кубов? Уравнение x³ + y³ + z³ = k десятилетиями ставило учёных в тупик. В 2020 году Эндрю Букер и Эндрю Сазерленд разобрались со случаем k=42, затратив 1,3 миллиона вычислительных часов на добровольных домашних компьютерах. Следующая цель? Число 114. Подвох? Наименьшие решения, вероятно, содержат около 30 знаков — решить задачу методом перебора может стоить 100 миллионов долларов или больше.

Доказательство иррациональности в стиле Апери

Иррациональные числа — десятичные дроби, которые нельзя представить аккуратными дробями — хранят глубокие тайны. Хотя числа пи и √2 нам знакомы, доказать иррациональность невероятно сложно. Потребовалось два тысячелетия, чтобы доказать иррациональность числа пи. В 1978 году Роже Апери показал, что ζ(3) (сумма 1/n³) иррационально, используя загадочную технику «сэндвича». На вопрос, как он нашёл своё доказательство, Апери якобы ответил, что нашёл его в цветочном горшке. Эта тайна остаётся неразгаданной до сих пор.

Гипотеза одинокого бегуна

Задача звучит почти сказочно: разместите бегунов на круговой дорожке, каждый бежит с уникальной постоянной скоростью. Гипотеза предсказывает, что в какой-то момент каждый бегун окажется на максимальном расстоянии от остальных — свой самый «изолированный» момент. Сформулировать легко, доказать невероятно сложно.

ИИ вступает в игру

Самая увлекательная часть этого проекта — его связь с искусственным интеллектом. Организация Epoch AI составила список специально для оценки прогресса ИИ. И время выбрано интересно — недавно OpenAI заявила о решении задачи Навье-Стокса, одной из семи задач тысячелетия стоимостью в миллион долларов каждая.

К концу сентября несколько задач из нового списка уже решены, хотя официальная коллекция по-прежнему полна вызовов. OpenAI объявила, что её внутренняя модель ИИ решила более 100 открытых вопросов, хотя сколько из них входят в этот конкретный список — неизвестно.

Почему это важно для мира технологий

Зачем программисту или инженеру знать о задачах, которым сотни лет? Больше, чем кажется.

Во-первых, математическое решение задач двигает вычислительную инновацию. Подход грубой силы к задаче о трёх кубах для k=42 потребовал распределённых вычислений на тысячах добровольных машин — это предвосхитило современную облачную инфраструктуру.

Во-вторых, пересечение ИИ и формальной верификации касается надёжности любого программного обеспечения. Когда математики требуют «автоматической проверки», они применяют то, что инженеры называют формальными методами — те же принципы, которые делают безопасные системы действительно надёжными.

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

Сотрудничество математического сообщества с организациями в сфере ИИ открывает новую главу в науке. Эти 50 задач — не просто академические диковинки. Это ориентиры для партнёрства человека и ИИ в интеллектуальных поисках. И когда мы создаём инструменты для разработки с поддержкой ИИ и платформы для vibe coding, наблюдать за тем, как ИИ справляется с труднейшими математическими вызовами, значит заглянуть в будущее, которое мы строим.

Тайна цветочного горшка Апери остаётся неразгаданной. Но где-то ИИ, возможно, уже приближается к пониманию того, как он нашёл своё доказательство.