Новый лауреат Филдсовской премии присоединяется к OpenAI для работы над безопасностью ИИ

Только что получил высшую награду в области математики и сразу объявил: я иду в OpenAI.

Джейкоб Цимерман, человек, стоявший на пьедестале рядом с Ван Хун и Дэн Юй, сразу после спуска продемонстрировал всем:

Насколько драматичным может быть пик карьеры математика.

Слово «драма» было использовано, потому что у этого человека слишком много противоречий:

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

Он даже написал статью, в которой создал классификацию для «как ИИ может уничтожить человечество».

Его аккаунт в X опубликовал только один пост на тему, как математики останутся без работы.

Однако сейчас он первым потерял профессию математика.

У него есть студент, который три дня назад с помощью Claude Fable 5 за одну ночь опроверг давнюю гипотезу Якоби 1987 года; он работает в Anthropic.

Сейчас учитель подписался на OpenAI. Учитель и ученик — каждый по одной компании.

И это еще не все — легенды о самом Джейкобе тоже неисчислимы…

Джейкоб, родившийся в 1988 году в Казани, Россия, с семьей сначала переехал в Израиль, а затем поселился в Канаде.

В 2003 и 2004 годах представлял Канаду на IMO, завоевав две золотые медали, в 2004 году — с полным баллом.

В 16 лет поступил в Торонтский университет на математический факультет и закончил бакалавриат за два года.

В 2011 году получил докторскую степень в Принстоне под руководством Питера Сарнака. После стажировки в Феллоушипе Гарварда вернулся в Университет Торонто и стал самым молодым профессором в истории математического факультета университета.

Эта награда присуждена за его доказательство гипотезы Андре-Оорта — центральной проблемы арифметической геометрии, остававшейся нерешённой почти 40 лет.

Он также стал первым математиком, получившим премию Филдса во время работы в канадском университете.

Кстати, сама ценность этой премии Филдса немного пугает: гипотеза Какея, выдвинутая в 1917 году и до сих пор нерешённая; кинетическая часть шестой проблемы Гильберта, сформулированная в 1900 году; а также Андре — Оорт.

Три столетних загадки были разрешены в течение одного и того же четырехлетнего цикла.

То есть Джейкоб победил в математический «год» среди сильнейшего поколения соперников.

IMO perfect score, youngest full professor, solver of a 40-year cold case.

Владелец такого резюме, согласно сценарию, должен стоять на сцене и благодарить наставников, а также смотреть в будущее дисциплины.

What's the result?

23 июля по местному времени, Филадельфия, церемония открытия Международного конгресса математиков (ICM).

На пресс-конференции кто-то спросил о будущих планах, и новый лауреат прямо заявил: «Скоро я присоединюсь к OpenAI и буду работать в области безопасности ИИ».

Я считаю, что мир меняется. Профессии в области математики, которые мы сейчас знаем… я не думаю, что они останутся такими же.

Одной фразой он превратил церемонию награждения в пресс-конференцию по трансферам.

В OpenAI скорость реакции сравнима с тем, как успеть купить лимитированную версию:

Исследователь безопасности, профессор Гарварда Боаз Барак написал в твиттере: с нетерпением жду и «глубоко скромно» приветствую Джейкоба в команде по обеспечению безопасности ИИ.

Бывший вице-президент Microsoft, ныне в OpenAI Себастьен Бюбек также присоединился: Добро пожаловать в команду, дальше будет очень интересно.

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

Оказывается, всё имело свои признаки.

Откройте профиль Jacob на X, где указано, что он присоединился в 2014 году.

Но спустя несколько лет там осталась только одна запись, и эта запись стала ключом к нашему пониманию его.

Содержание поста — это его ответ математику Даниэлю Литту, обсуждаемый вопрос очень простой:

Какую долю занимает решение проблем (problem-solving) в математических исследованиях?

Его ответ: почти все.

Затем он рассказал что-то очень искреннее. Он сказал, что проводит почти всё своё время, решая проблемы, и что достаточно, чтобы кто-то решил общий случай гипотезы Зильбер-Пинка…

Моя вся основная область исследований исчезла.

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

Тот день, когда это предположение будет решено, все должны будут найти новые проблемы.

Он описал этот процесс как «сбивающий с толку, требующий огромных усилий, не простой и не всегда интересный».

Раньше «человеком, решившим гипотезу», мог быть только другой математик — это происходило раз в сто лет.

Сейчас, возможно, модель, и она может прийти в любое время.

Насколько быстро именно? В интервью в AMS Notices (Уведомления Американского математического общества) за этот год он дал график:

Пять лет? Я думаю, что уже через два года он будет сильнее нас в доказательстве теорем. Тогда нам просто нужно будет сказать: это утверждение, докажи его.

В посте он также провёл мысленный эксперимент: представьте, что у вас есть машина-оракул ИИ, в которую можно ввести любое математическое утверждение, и мгновенно узнать, истинно оно или ложно.

Каким будет повседневный день теоретика?

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

Его суждение по этому сценарию было спокойным, но весомым: это совершенно, совершенно разные вещи по сравнению с современной математикой.

Интересно, что он сам уже живет в упрощенной версии таких дней.

В том же интервью он сообщил, что ИИ удвоил его научную продуктивность: за 2025 год он загрузил на arXiv пять математических статей. Его повседневный рабочий процесс включает использование ChatGPT и Claude для определения границ проблемы, поиска ссылок на литературу и проверки лемм с помощью моделей:

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

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

И именно из-за глубокого погружения он особенно бесцеремонно относится к настроениям коллег:

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

Слыша это, коллеги могут сочти это уже слишком смелым.

Но для Джейкоба утверждение «ИИ превзойдет математиков за два года» — это лишь самая умеренная из его оценок.

Его настоящий вывод:

Я считаю, что ИИ может значительно привести к вымиранию человечества.

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

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

Математик, лауреат премии Филдса, с той же строгостью, с какой пишет научные статьи, создал классификацию для вопроса «как ИИ уничтожит человечество».

Тогда, раз вы так боитесь, зачем вы вообще присоединились к компании ИИ?

В интервью он также ответил: он поддерживает приостановку ИИ, но не считает, что это произойдет. Поскольку остановить это невозможно, лучше войти внутрь, разобраться в нем и участвовать в его формировании, иначе «мы можем остаться позади».

Теперь логика ясна: в OpenAI, а именно в отделе безопасности.

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

Он не согласен.

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

Из этих слов также несложно понять причины некоторых выборов.

Движения Джейкоба делают еще один вопрос достойным анализа:

Где сейчас находятся эти четыре лауреата и кто еще может привлечь внимание крупных компаний?

Перед торговлей воспользуемся структурой из собственного поста Джейкоба.

Он разделил математическую работу на два типа: решение задач (problem-solving) и построение теорий (theory-building).

В настоящее время AI-лаборатории больше всего нуждаются именно в таких людях:

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

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

Пройдитесь по списку по этим критериям.

Ван Хун в настоящее время является профессором Нью-Йоркского университета и работает в Институте высших научных исследований (IHES) во Франции.

Её доказательство гипотезы Какея на 127 страницах, выполненное совместно с соавтором Джошуа Цалем, назвали «событием века» и сделали её третьей женщиной в истории Филдсовской премии за 90 лет.

До получения награды она уже завоевала длинный список премий, включая премию Салема, премию Острорджи, премию Клея и премию Новые горизонты, и была самой известной в академическом плане среди четверых.

Такой аналитик-мастер идеально попал в направление, наиболее необходимое для исследований в области AI-выводов.

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

再加上顶级的公众声量，她很可能位列猎头名单的首位。

Единственный обратный сигнал:

Она только что получила позицию в IHES в академической среде и находится в периоде «наиболее выгодного академического вознаграждения», поэтому мотивации для добровольного ухода мало.

Дэн Юй, профессор Чикагского университета, получил премию за работу, связавшую микроскопическое и макроскопическое описание газов, то есть за решение кинетической части шестой проблемы Гильберта.

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

Этот деталь в основном всё объясняет: человек, который может «вести себя как ни в чём не бывало», даже получив награду, скорее всего, также будет вести себя как ни в чём не бывало, получив предложение от крупной компании.

Кроме того, его направление связано с математической физикой и УЧП, что немного отдалено от основной области текущих моделей вывода, и взаимный интерес слаб.

Кажется, он самый маловероятный кандидат на смену команды.

Джон Пардон, профессор Центра симплектической геометрии и физики Симонса при Стоуни-Брукском университете, специалист по симплектической топологии.

Самый молодой легендарный участник четверки решил проблему, остававшуюся нерешенной в течение 30 лет, еще во время учебы на бакалавриате.

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

Однако симплектическая топология относится к самой сложной абстрактной геометрической области, с которой текущие модели не могут справиться; в краткосрочной перспективе модель не может ему помочь, и ему не нужно помогать модели.

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

В итоге один уже ушёл, у другого нет недостатка, третий не хочет, а четвёртый не спешит.

Но в нынешней обстановке, когда AI-лаборатории соревнуются за математиков, этот список вряд ли останется стабильным надолго.

Не забывайте, что за последний год гонка вооружений между Google DeepMind, OpenAI и Anthropic за математиков была не менее острой, чем за инженеров.

Таким образом, все четыре победителя уже представлены.

Однако у этой истории есть еще один последний поворот.

Отмотайте время на три дня до церемонии награждения.

В ночь финала чемпионата мира по футболу математик Левент Альпёге опубликовал пост в X: гипотеза Якоби — ложна.

Эта гипотеза, сформулированная в 1939 году, оставалась нерешённой 87 лет и была включена в известный список математических проблем Смейла для XXI века.

А пример, приведенный Альпёге, содержит всего 216 символов — любой математик может проверить его вручную.

Тот, кто помог ему найти эту иглу в стоге сена, — Claude Fable 5, недавно выпущенный Anthropic в прошлом месяце.

Он специально поблагодарил «fable» за то, что она работала сверхурочно во время финала чемпионата мира.

Counterexamples were quickly independently verified.

Лауреат Филдсовской премии Тимоти Гауэрс прокомментировал, что это первый раз, когда он видит, как LLM решает задачу за пределами своей области, «о которой он долго слышал».

Модель решила дело 1987 года за одну ночь.

Будущее, которое Джейкоб описал в посте, выглядит именно так.

Важное момент.

Этот Альпёге, выпускник Общества исследователей Гарварда, сейчас является математиком в Anthropic.

А его научным руководителем при написании выпускной работы во время обучения в бакалавриате Гарварда был Якоб Цимерман, который тогда также был младшим исследователем в Гарварде.

Учитель в единственном посте предсказал, что ИИ возьмет на себя решение задач; студент на прошлой неделе с помощью ИИ за одну ночь опроверг столетнюю гипотезу, опередив учителя и реализовав его предсказание.

Через три дня, после получения премии Филдса, учитель официально присоединился к OpenAI.

А студент — в Anthropic.

Два человека — учитель и ученик, один дом — у каждого.

Ссылка для справки:

[1]https://x.com/chi_t_williams/status/2080339331139424727

[2]https://x.com/torgeirlysen/status/2080393136962957471?s=20

[3]https://x.com/proofchecker/status/2080386577595822537?s=20

[4]https://x.com/Jacob_Tsimerman

[5]https://www.ams.org/journals/notices/202607/noti3372/noti3372.html

Эта статья взята из официального аккаунта WeChat «Quantum Bit», автор: И Шуй