🧠 Математика на грани возможного: Проблема Какейи и поиск скрытых структур
В мире высшей математики существует тонкая грань между задачами, которые решаются «относительно легко», и теми, что кажутся абсолютно безнадежными. Теренс Тао, один из величайших математиков современности, отмечает, что наиболее интересные вызовы лежат именно на этом стыке — там, где существующие техники выполняют 90% работы, но оставшиеся 10% требуют фундаментального прорыва.
Одной из таких задач, определивших ранний этап карьеры Тао, стала проблема иголки Какейи. Сформулированная японским математиком Соити Какейей в 1918 году, она изначально выглядела как забавный пазл: какова минимальная площадь фигуры на плоскости, внутри которой можно полностью развернуть иглу на 180 градусов?
От иголки до космического телескопа
Развитие этой задачи демонстрирует, как простая геометрическая интуиция сталкивается с математической реальностью:
- Интуитивный подход: В автошколах учат развороту в три приема — это занимает площадь $\pi/8$. Обычное вращение вокруг центра требует диска площадью $\pi/4$.
- Парадокс Безиковича: Математик Абрам Безикович доказал контринтуитивный факт — иглу можно развернуть на площади сколь угодно близкой к нулю (например, 0,001), используя фрактальные структуры и сложные движения «туда-сюда».
- Трехмерный вызов: Если мы представим космический телескоп Хаббл как трубку нулевой толщины, которую нужно направить в любую точку неба, занимая минимум объема, решение Безиковича все еще работает. Однако если у трубки есть хотя бы минимальная толщина ($\delta$), объем должен зависеть от этой толщины.
Почему это важно для физики?
Гипотеза Какейи оказалась глубоко связана с уравнениями в частных производных (УЧП) и теорией волн. Тао объясняет это через аналогию с «волновыми пакетами» — локализованными всплесками энергии, которые движутся в пространстве, напоминая трубки.
Если бы гипотеза Какейи была неверна (то есть трубки можно было бы упаковать в очень малый объем), это означало бы, что рассеянные волны могут внезапно концентрироваться не просто в одной точке, а создавать масштабные «взрывы» (blowup) энергии. Это поставило бы под сомнение стабильность многих физических систем, включая распространение света и звука.
🌊 Загадка Навье-Стокса: Могут ли в воде возникать «сингулярности»?
Одной из «задач тысячелетия» с призом в миллион долларов является проблема существования и гладкости решений уравнений Навье-Стокса. Эти уравнения описывают движение жидкостей и газов — от воды в ванне до турбулентных потоков воздуха, влияющих на прогноз погоды.
Математический демон Максвелла
Главный вопрос: может ли в изначально спокойной жидкости возникнуть точка «сингулярности», где скорость станет бесконечной? В реальности мы этого не наблюдаем — вода в ванне не взрывается сама по себе. Однако математики, в отличие от физиков, ищут не 99,9% вероятности, а 100-процентное доказательство.
Теренс Тао приводит аналогию с демоном Максвелла:
- Статистическая вероятность: В термодинамике газы смешиваются и остаются смешанными. Крайне маловероятно, что молекулы кислорода сами собой соберутся в одной половине комнаты.
- Математическая возможность: Математически нельзя исключить существование «заговора» молекул или цифр (как в числе Пи), когда редчайшая конфигурация приводит к катастрофе.
Программируемая вода
В 2016 году Тао опубликовал работу, которая изменила взгляд на проблему. Он не смог доказать взрыв для реальной воды, но «изменил законы физики», создав усредненное уравнение. В его искусственной модели он смог «запрограммировать» жидкость на взрыв.
Его стратегия напоминает «машину Голдберга» или киберпанк-устройство из воды:
- Для обхода вязкости, которая обычно гасит энергию, Тао сконструировал систему «шлюзов» и «часов».
- Энергия переходит от крупных водоворотов к мелким строго по очереди. Пока один уровень не заполнится до краев, следующий не открывается.
- Это позволяет энергии не рассеиваться, а концентрироваться, пока скорость не станет бесконечной.
Тао выдвинул смелую гипотезу: если уравнения Навье-Стокса поддерживают вычислительную универсальность (способность воды имитировать работу компьютера или логических вентилей AND/OR), то можно создать «водяного робота» (машину фон Неймана). Такой робот мог бы построить свою уменьшенную и ускоренную копию, зацикливая процесс до бесконечности и создавая сингулярность.
🤖 Будущее AI в математике: От «автодополнения» к Fields Medal
Теренс Тао активно внедряет современные технологии в свою работу, что делает его «лисой» (по классификации Исайи Берлина) — математиком, который ищет связи между разными областями, а не копает только в одну сторону.
Революция языка Lean
Традиционное доказательство часто похоже на «спагетти-код»: оно понятно автору, но проверка коллегами занимает месяцы. Тао переходит к использованию Lean — языка формальных доказательств.
Преимущества Lean, по мнению Тао:
- Сертификат доверия: Если компьютер скомпилировал доказательство, оно на 100% верно. Больше не нужно полагаться на авторитет профессора.
- Рефакторинг: Если в середине 100-страничного доказательства нужно заменить константу 12 на 11, Lean мгновенно подсветит красным только те строки, которые «сломались». В бумажном варианте пришлось бы перепроверять всё заново.
- Масштабируемость: Тао руководит проектом Equational Theories, где 50 участников через GitHub решают 22 миллиона мелких задач. Это было бы невозможно без Lean — никто не смог бы проверить миллионы человеческих доказательств вручную.
Сможет ли AI выиграть Филдсовскую премию?
Обсуждая успехи AlphaProof (DeepMind), Тао отмечает несколько ключевых нюансов:
- Эрозия «запаха» задачи: У опытных математиков есть «чувство запаха» (mathematical smell) — интуитивное понимание того, ведет ли путь к решению или в тупик. Современные LLM могут писать текст, который выглядит как идеальное доказательство, но содержит «глупейшие ошибки на 17-й строке», которых не допустил бы ни один человек.
- Прогноз на 2026 год: Тао предсказывает, что к этому времени появятся полноценные исследовательские работы, созданные в соавторстве с AI.
- Проблема «последней мили»: AI хорош в рутине, но пасует перед доказательствами, требующими по-настоящему новых абстракций. Однако AI может помочь в «литературном обзоре», находя связи между статьями, которые человек просто не успел бы прочитать.
🔢 Магия простых чисел и «диеты» для инопланетян
Тао объясняет, почему простые числа (атомы математики) так трудно изучать. Все дело в конфликте двух операций: сложения и умножения. По отдельности они просты, но вместе рождают хаос.
Почему гипотеза Римана кажется недосягаемой?
- Случайность: Гипотеза Римана утверждает, что простые числа распределены максимально случайно, насколько это возможно (эффект «квадратного корня»).
- Отсутствие стратегий: Тао признается, что для решения гипотезы Римана сегодня нет даже жизнеспособной стратегии. Она требует прорыва в какой-то совершенно другой области, о которой мы еще не подозреваем.
Конспирология чисел
Обсуждая проблему простых чисел-близнецов (существует ли бесконечно много пар простых чисел, разница между которыми равна 2), Тао использует аналогию с заговором:
- Числа могут выглядеть случайными, но внутри может скрываться «заговор», который устраняет именно пары-близнецы на больших дистанциях.
- Математики пытаются доказать, что такие заговоры невозможны. Если «числовой мир» управляется ящерицами, он не может одновременно управляться инопланетянами — разные структуры начинают исключать друг друга, что позволяет ставить границы (например, Тао помог доказать, что существует бесконечно много пар простых чисел с разрывом не более 246).
💡 Философия работы и «структурированная прокрастинация»
Несмотря на статус «Моцарта математики», Тао подчеркивает важность человеческого подхода к работе:
- Стратегическое мошенничество: Математика — единственный предмет, где можно легально менять правила. Если задача в 10 измерениях не решается, Тао решает её в одном, устанавливая «чит-коды», чтобы понять суть сложности.
- Эффект «Симпсонов»: Столкнувшись с параличом перед сложной задачей, когда кажется, что ничего не получается, лучший совет — попробовать что-то по-настоящему глупое. То, как эта глупая попытка провалится, даст ключ к тому, какая именно гипотеза здесь важна.
- Структурированная прокрастинация: Чтобы заставить себя делать то, что не хочется, Тао придумывает еще более неприятное дело (например, административную работу). Тогда решение сложной математической задачи становится способом «отлынивать» от бюрократии.
Завершая беседу, Теренс Тао выражает оптимизм: хотя человеческий мозг не имеет «центра математики» и вынужден переиспользовать зрительную или языковую зоны для вычислений, коллективный разум цивилизации, усиленный новыми инструментами, способен превратить сегодняшние «невозможные» загадки в обычные упражнения из учебника для будущих поколений.
