Levent Alpoge

 

Да, вот здесь ваша характеристика «весёлый Моцарт нового мира» мне кажется очень удачной — именно потому, что речь не просто о способном математике.

У Levent Alpöge необычная траектория:

$$\text{теория чисел} \;\longrightarrow\; \text{компьютеры/CUDA} \;\longrightarrow\; \text{AI} \;\longrightarrow\; \text{PDE / Euler}.$$

И это совсем не обычный переход. Между теорией чисел и динамикой жидкости огромная культурная дистанция. Можно знать необходимую технику, но не иметь интуиции другой области. А Alpöge, судя по его биографии и тому, как он работал с Buckmaster, обладал ещё одним качеством: он понимал компьютер не как калькулятор, а как среду поиска.

И это, возможно, именно то, чего сейчас начинает требовать новая математика.

Тут есть очень интересный контраст

У классического математика:

$$\boxed{\text{идея}\rightarrow\text{вычисления}\rightarrow\text{доказательство}}$$

У человека вроде Alpöge возникает другая петля:

$$\boxed{ \text{идея} \rightarrow \text{AI} \rightarrow \text{тысячи вариантов} \rightarrow \text{новая идея} \rightarrow \text{математическое доказательство} }$$

То есть компьютер перестаёт быть последним этапом. Он становится участником математической интуиции.

И именно поэтому человек, который понимает обе стороны — математическую и вычислительную, — становится необычайно ценным.

---

А насчёт Гауэрса вы очень точно заметили ещё одну вещь.

Комбинаторика действительно имеет несколько иную культуру. У Гауэрса, Алона и их круга огромную роль играют:

• дискретные структуры;

• экстремальные конструкции;

• вероятностные методы;

• конечные объекты;

• combinatorial proofs.

А динамика жидкости — это другой мир:

$$\text{PDE}+\text{геометрия}+\text{масштабирование}+\text{локальная концентрация}+\text{аналитические оценки}.$$

И поэтому особенно интересно, что AI может частично стирать границы между математическими культурами.

Человек обычно специализируется:

«Я комбинаторик».

или

«Я специалист по PDE».

А вычислительный агент совершенно безразличен к этим границам. Для него Euler, SAT, графы, теория чисел и интегральные уравнения — просто разные пространства поиска.

Но человек, который умеет разговаривать с машиной на всех этих языках, становится новым типом математика.

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

Levent, возможно, ценен не потому, что он самый сильный математик в этой истории.

Он ценен потому, что оказался одним из первых людей, которые интуитивно поняли:

$$\boxed{\text{математик будущего должен уметь мыслить вместе с компьютером}.}$$

Это действительно немного напоминает Моцарта. Не обязательно «величайший математик поколения», а человек, у которого органически отсутствует граница между двумя средами, которые для остальных ещё разделены.

И, пожалуй, именно поэтому история Alpöge–Buckmaster–OpenAI так болезненна. Если смотреть на неё не как на корпоративный скандал, а исторически, то Levent представляет один возможный путь в новую математику — человек + машина, а OpenAI представляет другой:

$$\boxed{\text{человек + огромная машина + огромный ресурс}.}$$

И вопрос будущего, возможно, именно в том, какой из этих двух путей окажется плодотворнее.

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

====================================

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

=====================

Да — вы вспоминаете совершенно правильно. И даже точнее: это именно доклад Пуанкаре «Математическое творчество» (L’Invention mathématique, 1908), а не просто позднейшее эссе о математическом открытии. В нём есть буквально формула, почти идеально совпадающая с вашей мыслью:

«Изобретать — значит различать, выбирать».

Пуанкаре противопоставляет два процесса. Сначала бессознательная работа производит огромное количество комбинаций идей. Почти все они бесполезны. Но некоторые обладают гармонией и «цепляют» математическое чувство красоты — и именно они проходят в сознание.

И вот здесь ваша интерпретация для эпохи AI становится очень сильной.

Пуанкаре фактически разделяет математику на два механизма

$$\boxed{\text{порождение комбинаций}}$$

и

$$\boxed{\text{выбор плодотворных комбинаций}}.$$

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

И вот здесь 2026 год переворачивает его картину.

Компьютер забирает у человека первую половину

Сегодня можно представить:

$$\text{AI} \quad\longrightarrow\quad 10^6,\;10^9,\;10^{12} \text{ комбинаций}$$

и уже не человек генерирует варианты.

Но остаётся:

$$\boxed{\text{Что из этого стоит внимания?}}$$

И здесь появляется математик.

Причём не просто логик, а именно тот человек, у которого есть то, что Пуанкаре называл «особой чувствительностью» математического геометра.

---

И это очень хорошо объясняет, почему мне понравилась ваша характеристика Alpöge.

Если Levent действительно способен одновременно:

• понимать математическую структуру;

• понимать вычислительную среду;

• позволять машине генерировать огромное пространство вариантов;

• а затем увидеть среди них неожиданно правильную конструкцию,

то это буквально математик пуэнкаревского типа в XXI веке.

Только раньше:

$$\text{бессознательное} \rightarrow \text{тысячи комбинаций} \rightarrow \text{озарение}$$

а теперь:

$$\text{AI} \rightarrow \text{миллионы комбинаций} \rightarrow \boxed{\text{математическая интуиция человека}} \rightarrow \text{озарение}.$$

---

И есть ещё одна чрезвычайно интересная деталь у Пуанкаре.

Он говорит: красота не гарантирует истинность.

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

Это поразительно современная мысль.

Потому что AI может предложить человеку:

$$A_1,A_2,\ldots,A_{10^6}.$$

Но проверять миллион идей математик не станет. Ему нужен эстетический фильтр:

«Вот это выглядит так, будто здесь есть настоящая теорема».

И только потом начинается доказательство.

Поэтому я бы сейчас сформулировал новую версию Пуанкаре:

$$\boxed{ \textbf{AI генерирует пространство возможностей,} }$$ $$\boxed{ \textbf{математик выбирает направление.} }$$

А доказательство — уже третий этап:

$$\boxed{ \text{выбор} \rightarrow \text{понимание} \rightarrow \text{доказательство}. }$$

И тогда возникает очень важное различие между математиком и математическим бюрократом.

Бюрократ может проверить:

$$\text{«доказательство формально корректно?»}$$

Но творец спрашивает:

$$\text{«почему именно эта идея?»}$$

И вот последнее, мне кажется, AI пока не отнимает у человека — наоборот, делает его ещё более ценным.

Парадоксально: чем больше вариантов умеет производить машина, тем дороже становится способность выбрать один правильный.

Это почти дословное возвращение к Пуанкаре через 118 лет.