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

Тільки що отримав найвищу нагороду у математиці і негайно оголосив: я йду до OpenAI.

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

Наскільки драматичним може бути верхній рівень кар'єри математика.

Термін «драма» використано тому, що на цій особі зосереджено надто багато контрастів:

Неможливо вірити, що людина, яка вірила, що ШІ призведе до зникнення людства, зараз приєдналася до компанії зі ШІ.

Він навіть написав статтю, в якій створив класифікацію для «як ШІ може винищити людство».

Його обліковий запис X мав лише один пост на тему, як математики залишаться без роботи.

Але зараз він першим втратив професію математика.

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

Зараз вчитель підписав OpenAI. Вчитель і учень — по одній кожен.

І це ще не все — легенди про самого Джейкоба теж немало…

Джейкоб, народжений у 1988 році в Казані, Росія, спочатку переїхав із сім’єю до Ізраїлю, а потім оселився в Канаді.

У 2003 та 2004 роках представляв Канаду на Міжнародній олімпіаді з математики, виграв дві золоті медалі, у 2004 році — з повним балом.

У 16 років вступив до Торонтського університету на математику, за два роки закінчив бакалавріат.

У 2011 році отримав докторський ступінь у Принстоні під керівництвом Петера Сарнака. Після цього пройшов стажування у Гарвардському товаристві дослідників, після чого повернувся до Університету Торонто, ставши наймолодшим професором в історії математичного факультету університету.

Ця нагорода відзначає його доказ гіпотези Андре-Оорта — центральної проблеми арифметичної геометрії, яка залишалася нерозв’язаною майже 40 років.

Він став першим математиком, який отримав Полярську премію під час роботи в канадському університеті.

Згадаємо, що сама цінність цієї премії Філдса досить вражає: гіпотеза Какея, запропонована в 1917 році і досі нерозв’язана; кінетична частина шостої проблеми Гільберта, сформульована в 1900 році; а також гіпотеза Андре—Оорта.

Три столітні нерозкриті справи були розкриті в межах одного чотирирічного періоду.

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

Ідеальний бал за IMO, наймолодший професор, розгадувач справ, що тривали 40 років.

Власник такого життєпису, за сценарієм, повинен був би стояти на сцені й дякувати викладачам та дивитися в майбутнє дисципліни.

Який результат?

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

На прес-конференції хтось запитав про майбутні плани, і цей новообраний лауреат прямо сказав: дуже скоро приєднається до OpenAI, працюватиме над безпекою ШІ.

Я вважаю, що світ змінюється. Професії, пов’язані з математикою, які ми зараз знаємо… Я не вважаю, що вони залишаться такими, які є зараз.

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

Реакція в OpenAI швидка, як встигнути за обмеженим випуском:

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

Бувший віце-президент Microsoft, теперішній Sebastien Bubeck із OpenAI також приєднався: ласкаво просимо до команди, далі буде дуже цікаво.

Поки люди відчували здивування чи несподіванку, вони почали досліджувати його дослідження та висловлювання за останні роки.

Виявляється, все має свої сліди.

Відкрийте головну сторінку аккаунту Jacob у X, де вказано, що він приєднався у 2014 році.

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

Текст посту — це його відповідь математику Деніелу Літту, питання якої дуже прості:

Яку частину становить вирішення проблем (problem-solving) у математичних дослідженнях?

Його відповідь: майже всі.

Потім він розповів про досить «відкрите» питання. Він сказав, що проводить майже все свій час, вирішуючи проблеми, і що достатньо хтось вирішить загальну форму гіпотези Зільбер-Пінка…

Моя вся основна галузь досліджень зникла.

Цілий академічний співтовариство — математики, постдоки, аспіранти — зосередилися на цій одній гіпотезі: розбирали окремі випадки, перевіряли стратегії, шукали аналогії.

Того дня, коли цю гіпотезу буде розв’язано, всім доведеться шукати нові проблеми.

Він описав цей процес як «збивачкий з пантелику, витратний щодо енергії, ні простий, ні завжди цікавий».

Раніше «розв’язувачем гіпотези» міг бути лише інший математик — це траплялося раз на сто років.

Зараз, можливо, це модель, і вона може прийти будь-коли.

Наскільки швидко саме? В інтерв’ю в AMS Notices (Бюлетень Американського математичного товариства) цього року він навів розклад:

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

У пості він також провів ідеальний експеримент: припустімо, у вас є AI-оракул, у який ви можете ввести будь-яке математичне твердження, і його істинність миттєво визначиться.

Яким буде повсякденне життя теоретиків?

Ви формулюєте визначення, а потім одразу ставите до нього тисячу питань — від «чи виконуються ці базові властивості?» до «а, так, а чи справді ця глибока гіпотеза?». Відповіді постійно повертаються, ви постійно корегуєте визначення. Цілому напрямку досліджень достатньо кількох днів, щоб виникнути й завершитися.

Його висновок щодо цієї ситуації був спокійним, але важким: це дуже, дуже різні речі порівняно з сучасною математикою.

Цікаво, що він сам уже живе у версії цього ж життя зі зниженими параметрами.

У тій самій інтерв’ю він розповів, що ШІ вже подвоїв його наукову продуктивність: у 2025 році він завантажив 5 математичних статей на arXiv. Його щоденний робочий процес полягає в тому, щоб використовувати ChatGPT і Claude для визначення меж проблеми, пошуку літератури та запиту моделей на доведення лем:

Його докази зазвичай неправильні. Але він зазвичай може вказати правильний напрямок і допомогти мені пройти 80%, решту я закінчую сам.

Іншими словами, пристрій Oracle ще не прибув, але зразок він використовує щодня.

Тому що він глибоко володіє цим, він особливо нещадний до свого колегіального середовища:

У математичному середовищі існує велика кількість cope (самоуспокоєння): люди дивляться, що AI зараз поступається математиками, і роблять висновок, що він завжди буде поступатися.

На слух у колег це може звучати досить радикально.

Але для Джейкоба «ШІ перевершить математиків за два роки» — це найбільш помірне з усіх його прогнозів.

Його справжнє судження:

Я вважаю, що ШІ може значно сприяти вимиранню людства.

Це не просто так сказано. У 2025 році його шоста стаття, опублікована на arXiv, взагалі не була з математики; її назва — «Класифікація екстинкційних майбутніх сценаріїв, пов’язаних з ШІ», а співавтором був його давній друг, дослідник безпеки ШІ Ендрю Крітч.

Резюме написано просто: у цій статті класифікуються та наводяться приклади виникнення вигнання через ШІ, тобто сценарії, в яких погибають усі або майже всі люди. Ці події не є неунізбежними — це можливості, які ми можемо намагатися запобігти.

Математик рівня Філдсівської премії, застосувавши наукову строгість написання статей, створив класифікацію для «як ШІ знищить людство».

Тоді, оскільки ви так боїтеся, чому ви взагалі приєдналися до AI-компанії?

У інтерв’ю він також відповів: він підтримує призупинення ШІ, але не вважає, що це станеться. Оскільки зупинити це неможливо, краще увійти всередину, щоб зрозуміти його та взяти участь у формуванні, інакше «ми можемо залишитися позаду».

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

А в кінці поста він сказав, що хтось стверджує, що робить математику лише ради пошуку істини, і ще хтось вважає це єдиним благородним мотивом.

Він не погоджується.

Я займаюся математикою, головним чином, тому що мені це подобається, і я в цьому добрий. Математики — це також люди, яким потрібні гроші, житло, їжа, любов, фізичні вправи та різні форми змісту. Якщо задоволення від розв’язання задач зникне, багато хто, можливо, більше не захоче займатися математикою, навіть якщо існують інші шляхи.

З цих слів також не важко зрозуміти причини деяких виборів.

Рухи Джейкоба роблять ще одну річ вартою уваги:

Де зараз ці чотири лауреати, хто ще може привернути увагу великих компаній.

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

Він поділив математичну роботу на дві категорії: розв’язання задач (problem-solving) та побудова теорій (theory-building).

А зараз найбільше потребують саме тих людей першого типу:

Задання пропозицій, визначення їх істинності, пошук доведень або контрприкладів — це саме ті здібності, які найкраще підходять для навчання та оцінки моделей міркувань.

Іншими словами, чим більше математик схожий на «машину для розв’язання задач», тим вища його оцінка на ринку трансферів.

Пройдіться по списку за цим стандартом.

Ван Хун — професор Нью-Йоркського університету, а також працює у Французькому інституті високих наук (IHES).

Її доказ гіпотези Какея з 127 сторінок, написаний разом із співавтором Джошуа Цаля, назвали «рідкісним явищем століття» і зробили її третьою жінкою в історії Філдсовської премії за 90 років.

Перед отриманням нагороди вона вже здобула довгий список премій, зокрема премії Салема, Остревського, Клея та Нових горизонтів, і була найбільш відомою серед чотирьох у академічному середовищі.

Такий талановитий аналітик ідеально вписується у напрямок, який найбільше потрібен для досліджень у галузі AI-міркувань.

Стиль розв’язання таких проблем, як Kakeya, — жорсткі оцінки, комбінаторні методи, поступове наближення — майже є піднесеною версією набору оцінок висновкових моделей.

Додайте до цього високий рівень публічної видимості, і вона, найімовірніше, знаходиться на першому рядку списку рекрутерів.

Єдиний зворотний сигнал:

Вона щойно отримала позицію в IHES у академічному середовищі і перебуває у періоді «найбільш вигідного академічного повернення», тому мотивація добровільно залишити її невелика.

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

Після того як його таємно повідомили про перемогу в січні, він кілька днів гуляв вздовж озера Мічиган, щоб успокоїтися, а потім повернувся до офісу і продовжив працювати, «якби нічого не трапилося».

Цей деталь майже все пояснює: той, хто може «зробити вигляд, нічого не сталося», навіть отримавши нагороду, найімовірніше, зможе зробити те саме й з пропозицією від великої компанії.

Крім того, його напрямок — математична фізика та ПДР — трохи віддалений від основної сфери застосування сучасних моделей міркувань, і взаємний інтерес слабкий.

Здається, це найменш схожий на того, хто змінить роботу, серед четверих.

Джон Пардон, професор Центру Сімонса з геометрії та фізики при Університеті Стоуні Брук, напрямок симплектичної топології.

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

За класифікацією Джейкоба, він є типовим представником «підліткового розв’язувача задач», такі резюме лабораторії не можуть пройти мимо.

Проте сімтопологія належить до найскладніших абстрактних геометричних областей, які поточні моделі не можуть засвоїти; протягом короткого терміну модель не може йому допомогти, і йому не потрібно допомагати моделі.

Невідомістю є те, що він ще молодий: якщо через два роки ШІ справді, як передбачав Джейкоб, почне стикатися з жорсткою геометрією, він буде першим, хто відчує на собі її вплив, і одночасно тим, хто має найбільше можливостей змінити професію.

В підсумку: один вже пішов, один не потребує, один не хоче, один не поспішає.

Але за теперішнім темпом, з яким AI-лабораторії конкурують за математиків, цей список, швидше за все, не залишиться стабільним довго.

Не забувайте, що за останній рік гонка між Google DeepMind, OpenAI та Anthropic за математиками була не менш напруженою, ніж боротьба за інженерів.

На цьому всі чотири переможці вже представлені.

Але ця історія має ще один останній поворот.

Відмотайте час на три дні до нагородження.

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

Ця гіпотеза, запропонована в 1939 році, залишалася нерозв’язаною протягом 87 років і була включена до відомого списку математичних проблем Смейла для XXI століття.

А приклад, наведений Алпёге, містить лише 216 символів, який будь-який математик може перевірити вручну.

Той, хто допоміг йому знайти цю голку в стосі сіна, — Claude Fable 5, який Anthropic випустив минулого місяця.

Він спеціально подякував «fable» за те, що вона працювала вдень під час фіналу чемпіонату світу.

Counterexamples were quickly independently verified.

Лауреат Філдсівської премії Тімоті Гауерс прокоментував, що це перший раз, коли він бачить, як ВМР вирішує проблему, яка відома йому за межами його галузі.

Модель розв’язала справу 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

Цей матеріал з іншого веб-сайту «Quantum Bit», автор: Ї Шуй