# Тристан Бакмастер: «ИИ создал худшую математику, которую я видел, но она верна»

Источник: https://www.youtube.com/watch?v=PQYFRuZ5phs
Канал: World Science Festival
Опубликовано: 02.10.2026

---

В мире теоретической науки произошло событие, которое многие эксперты называют «моментом Каспарова — Deep Blue» для математики. В центре сюжета — решение одной из семи «задач тысячелетия» (Millennium Prize Problems), за каждую из которых Институт Клэя назначил награду в миллион долларов, и ключевая роль искусственного интеллекта в этом прорыве.

## 🌊 Уравнения Навье-Стокса: Математика хаоса и физическая реальность
[[JUMP:10:32]]

Математик из Института Куранта при Нью-Йоркском университете (NYU) Тристан Бакмастер и ведущий Брайан Грин обсуждают природу уравнений Эйлера и Навье-Стокса. Эти формулы, по сути, являются вторым законом Ньютона ($F = ma$), примененным не к твердым телам, а к сплошной среде — жидкостям и газам [10:59]. Уравнения Эйлера, записанные еще в середине XVIII века, описывают идеальную жидкость, в то время как уравнения Навье-Стокса, появившиеся веком позже, учитывают вязкость — внутреннее трение [13:01].

Проблема «гладкости» Navier-Stokes заключается в следующем: могут ли решения этих уравнений за конечное время прийти к бессмысленному результату, например, к бесконечной скорости или бесконечному завихрению? [18:45]. Если это происходит, математическая модель «взрывается» (blow-up), переставая адекватно описывать физический мир [16:17]. Долгое время математики полагали, что уравнения Навье-Стокса «благовоспитанны» и не допускают таких сингулярностей, но современные исследования, усиленные мощью ИИ, ставят это под сомнение.

## 🤖 От численного моделирования к ИИ-агентам
[[JUMP:27:11]]

Бакмастер описывает эволюцию использования компьютеров в решении проблем гидродинамики:

*   **Компьютерные доказательства (Computer-assisted proofs):** Традиционный метод, где человек сводит задачу к конечному числу вычислений, а компьютер проверяет их с жесткими границами погрешности [30:16].
*   **Нейронные сети и поиск:** Бакмастер использовал нейросети как мощный прожектор для поиска конфигураций потока, которые могут привести к «взрыву» решения [41:11].
*   **LLM и агенты:** Новейший этап, ознаменовавшийся сотрудничеством с Anthropic и использованием «агентов» — сотен ИИ-моделей, работающих параллельно и проверяющих шаги друг друга [56:49].

По словам Бакмастера, прорыв произошел не благодаря одной умной подсказке (промпту), а за счет колоссальных вычислительных мощностей. Тысячи агентов способны развертывать краткие математические тезисы в подробнейшие доказательства, исключая человеческие ошибки, которые возникают при пропуске «очевидных» шагов [59:10].

## 📄 «Худшая математика в жизни»: Феномен ИИ-кода
[[JUMP:59:26]]

Одной из самых поразительных деталей беседы стало описание качества текстов, генерируемых ИИ. Бакмастер признается, что первые варианты доказательств выглядели как «математический шлам» (slop) и полная бессмыслица, которую человек не мог бы счесть английским языком [1:02:07].

*   **Нечитабельность:** Тексты были переполнены ненужными числами, странными кодами и логическими петлями [1:00:23].
*   **Магическая ясность:** Удивительно, что другие модели (Gemini, ChatGPT, Claude) мгновенно понимали этот «бред» и могли переводить его на человеческий язык [1:02:34].
*   **Верификация:** Истинность этих «уродливых» доказательств подтверждалась переводом на Lean — строгий язык программирования для формализации математических теорем [1:01:15].

Бакмастер и Грин выражают опасение, что ИИ начинает вырабатывать собственный язык для решения сверхсложных задач, становясь посредником, без которого человек больше не может понять структуру доказательства [1:05:07].

## 🏢 Битва гигантов: Утечки, OpenAI и «красная тревога»
[[JUMP:1:08:40]]

Научный прорыв оказался в эпицентре корпоративного шпионажа и конкуренции между OpenAI и Anthropic. Летом 2026 года (согласно дате дискуссии) по индустрии поползли слухи, что команда Бакмастера и Anthropic решили «задачу тысячелетия» [1:09:08]. Это вызвало состояние «красной тревоги» в OpenAI и Google DeepMind.

Бакмастер описывает драматичные события:

1.  **Утечка:** Информация о прогрессе Anthropic попала в OpenAI.
2.  **Гонка мощностей:** Технологические гиганты бросили миллионы долларов и огромные вычислительные ресурсы на то, чтобы их модели выдали аналогичный результат [1:10:04].
3.  **Конфликт:** Бакмастер пытался наладить сотрудничество с OpenAI, чтобы избежать токсичной конкуренции, но компания, по его словам, начала действовать агрессивно, пытаясь заявить о приоритете своего ИИ [1:13:29].

Представители OpenAI утверждали, что их модель «решила задачу одним промптом», просто скопировав описание проблемы с сайта Института Клэя. Однако Бакмастер утверждает, что это было маркетинговым преувеличением: на самом деле они начали работу только после слухов об успехах конкурентов, используя наработки его команды как отправную точку [1:15:22].

## 🏁 Финал математики? Будущее науки и образования
[[JUMP:1:21:42]]

Отвечая на вопрос о том, решена ли в итоге задача Института Клэя, Бакмастер выражает уверенность: «Я полагаю, что да» [1:17:16]. Хотя доказательство пока не имеет изящной человеческой формы, наличие формализованного кода в системе Lean делает результат фактически подтвержденным. ИИ удалось найти механизмы (такие как схлопывающиеся вихри), которые ведут к сингулярностям в уравнениях Эйлера и Навье-Стокса [1:18:08].

Это ставит перед научным сообществом фундаментальные вопросы:

*   **Смысл аспирантуры:** Что делать студентам, если путь, занимавший у профессоров десятилетия, ИИ проходит за выходные? [1:23:45].
*   **Элегантность против эффективности:** Останется ли в математике место для «красивых» доказательств, или она превратится в поток нечитаемого, но верного машинного кода? [1:25:48].
*   **Турбулентность и подъемная сила:** Бакмастер напоминает, что даже с решением Navier-Stokes мы всё еще не можем объяснить турбулентность или подъемную силу крыла самолета из первых принципов [1:27:08].

Бакмастер заключает, что человечество вступило в эру, где ИИ-агенты превосходят людей не только в шахматах или тестах, но и на самом острие абстрактного мышления. Это меняет не только математику, но и саму структуру прогресса во всех областях общества [1:28:54].