Математиков буквально скупают. Их хотят нанять самые богатые люди на планете.
Кафедры университетов с ужасом смотрят, как коллеги исчезают один за другим, переезжая в частные компании. Некоторые названия вам знакомы — OpenAI, Google. Другие же — новые, едва достигшие возраста нескольких месяцев. Эти стартапы делают ставку на одну идею: математика — это тот самый недостающий ингредиент для создания более интеллектуального искусственного интеллекта. И, в свою очередь, ИИ может изменить саму суть того, как мы занимаемся математикой.
Кен Оно признает, что испытал чувство утраты. «В прошлом мае я действительно оплакивал свою научную идентичность». В 2025 году он оставил должность профессора Вирджинского университета и присоединился к Axiom Math — стартапу, посвященному созданию ИИ с «математическим мозгом».
Он не сделал этот шаг в одиночку. До этого он помогал компании Epoch AI. Цель состояла в создании неразрешимых математических задач, чтобы протестировать пределы возможностей ИИ. Результаты шокировали его. ИИ не просто справлялся — он преуспевал, далеко превышая его ожидания.
Через несколько месяцев работы он понял: это тот момент, когда батрак, глядя на поле, вдруг видит паровой двигатель. Он подумал: мы можем сделать гораздо больше.
Оно не был одинок в этом осознании. За последние два года появилась целая волна новых компаний. Axiom Math, Harmonic. Они хотят не просто, чтобы ИИ решал математические задачи. Они хотят, чтобы он доказывал их. Корректно. С верификацией.
В прошлом апреле я посетил их в Кремниевой долине, чтобы понять, почему они так сильно верят в уравнения, и узнать, почему инвесторы вкладывали сотни миллионов долларов в невзрачные офисные здания в Пало-Альто.
Офис Axiom Math находится неподалеку от Стэнфорда. Основательница Карина Хонг когда-то была студенткой Оно. Соседний офис? Harmonic. Они также гонятся за «математической сверхразумностью». Офисы выглядят скучно. В комнатах висят вывески с именами Гаусса и Лавлейс — стандартный стартатовский шик.
Но внутри всё обстоит иначе.
«Зачем не использовать просто ChatGPT?» — спрашиваете вы у Оно. «Зачем создавать новую компанию, когда уже есть OpenAI?»
«ChatGPT — это библиотекарь, — говорит Оно. — Вы не найдете то, чего он не читал. Но разве вы хотите, чтобы ваш библиотекарь проводил операцию?»
Большие языковые модели галлюцинируют. Они обманывают. Вы не можете доверять им источник истины без проверки человеком. Вот в этом пробел. Вот в нем и заключается бизнес-возможность: верификация.
Слишком много для проверки
В академической среде это не новинка. Математики используют Lean — язык программирования. Вы вводите в него рукописные доказательства, а компьютер проверяет, логически ли они выстроены. Мгновенно. Быстро.
В исследованиях проверка занимает вечность. Исследователи перегружены. Они тратят недели на проверку шагов, которым должны доверять. Lean решает эту проблему.
Теперь та же проблема возникла в программировании. ИИ пишет код. И очень много. Но в нем содержатся тонкие ошибки. Человеческие программисты тратят всё свое время на «сидение» за выводом ИИ, выискивая баги.
Axiom Math и Harmonic целуют именно в эту больную точку. Математические задачи имеют небольшую «премию» в виде призовых, но верификация программного обеспечения обладает огромной коммерческой ценностью. Если ИИ пишет весь код, люди становятся узким местом в обеспечении безопасности.
«По мере того, как ИИ пишет больше кода, — говорит Тудор Ачим, генеральный директор Harmonic, — растет ценность верификации».
Эти инструменты работают. У Axiom Math есть пять статей, принятых к публикации в журналах. Написанные полностью их ИИ. Темы? Алгебраическая геометрия. Теория чисел. Тяжелая артиллерия.
Оно не хочет раскрывать точную дорожную карту. Но цель — десятки статей в следующем году. Годы работы, сжатые в недели.
Конкуренция жестокая. Технологические гиганты наблюдают за ситуацией. В OpenAI знают, что математику можно измерить. «Математика прекрасна для ИИ, — говорит главный научный сотрудник Якоб Пачовски, — потому что она количественно измерима».
Ранние языковые модели были ужасны в этом. Они проваливались даже в базовых рассуждениях.
Но не сейчас.
Недавние модели выиграли золотые медали на Международной математической олимпиаде — соревновании для элитных старшеклассников. Затем ИИ опроверг предположение, которому было 80 лет. Математики думали, что прогресс в этой области не наступит в их lifetime.
«Слабости, которые мы видели полгода назад… исчезли, — говорит Себастьян Бубек из OpenAI. — Больше никаких бессмыслиц».
Но подходы различаются.
Axiom и Harmonic нанимают математиков для обучения специализированных моделей. Они заставляют ИИ мыслить как математик. OpenAI этого не делает.
«Мы обучаем модель для общего интеллекта, — настаивает Бубек. — Математические способности — это побочный продукт. Для нас это стало сюрпризом. А не главной целью».
Кто победит? Пока неясно. Но одно точно: ключи сейчас держат в руках несколько компаний.
Математики чувствуют себя неуверенно.
Закрытые теоремы
Деньги пришли быстро. Что будет, когда они уйдут?
Рави Вакрил из Стэнфорда обеспокоен циклом хайпа. «Через пять лет, — говорит он, — не будет такого ажиотажа». Никто не обогащается, решая гипотезу Римана. Деньги уйдут. Модели встанут.
Или что еще хуже. Математика превратится в закрытый клуб.
Что, если решение задач потребует уплаты сбора? Что, если истина окажется за паролем?
Шубхо Сенгупта из Axiom Math говорит, что часть математики уже находится за платной стенкой. Хедж-фонды создают модели. Они держат их в секрете. Интеллектуальная собственность.
Но «продвижение границ знаний… должно быть бесплатным».
Ачим из Harmonic слегка не согласен. Инструменты стоят денег.
«Мы хотим, чтобы люди платили за сервис, — говорит Ачим. — Мы настаиваем на том, что компании поддерживают математиков. Не извлекают всю ценность, а лишь ведут устойчивый бизнес».
Кто знает, что будет дальше. Предсказание будущего — занятие, в котором люди традиционно слабы, не говоря уже о машинах.
На данный момент математики остаются проводниками. Водителями.
Оно сравнил подъем этих систем ИИ со Сринивасой Рамануджаном.
Вы помните историю. Самоучка-гений из Индии. Интуиция, настолько чистая, что выглядела магией для ученых XX века. Его идеи появлялись из ниоткуда. Шокирующие. Красивые.
Отец Оно скончался в январе. Он был японским математиком, глубоко тронутым мифом о Рамануджане.
Одно из их последних разговоров навсегда осталось в памяти Оно. Совет отца был простым.
«Возможно, это твой момент Рамануджана. Другие не поймут этого. Люди будут бояться черной коробки. Если компьютер показывает тебе что-то волшебное… ты должен это принять».
«Это уже произошло со всеми нами», — сказал он.
Двигатели запущены. Мы просто еще не знаем, куда они нас ведут.
