В воскресный вечер, когда на стадионе кипели страсти финала клубного чемпионата мира по футболу, математик Левент Альпёге (Levent Alpoge) сидел перед экраном не только ради игры. Бывший исследователь из Гарварда, а ныне сотрудник компании Anthropic, он решил скоротать время за беседой с искусственным интеллектом — и в итоге поставил точку в загадке, которая не давала покоя математикам 87 лет.

Друг Альпёге по имени Акхил (Akhil) упомянул в разговоре гипотезу Якобиана — проблему из алгебраической геометрии, сформулированную ещё в 1939 году. Альпёге обратился к Claude Fable 5, языковой модели Anthropic, и попросил её поработать над этой задачей. Вместо того чтобы подтвердить давние подозрения учёных, ИИ выдал то, что математики безуспешно искали почти девять десятилетий: контрпример, опровергающий гипотезу.

Формула, которая взорвала сеть

Результат Альпёге опубликовал в соцсети X. Запись содержала математическое выражение длиной всего в 216 символов — полиномиальную формулу, которая обладала постоянным якобианом, но при этом не была обратимой. Именно это сочетание свойств и требовалось для опровержения гипотезы Якобиана. Твит набрал почти 30 миллионов просмотров.

«Привет всем, гипотеза Якобиана ложна. Спасибо моему близкому другу Акхилу за то, что спросил о ней, и моему другому близкому другу Fable за работу во время финала Кубка мира», — написал математик.

Гипотеза Якобиана, напомним, утверждала: если у полиномиального отображения из n-мерного комплексного пространства в себя якобиан (определитель матрицы частных производных) всюду равен ненулевой константе, то такое отображение должно быть обратимым — то есть иметь полиномиальное обратное. Проблема выглядела обманчиво простой, но десятилетиями сопротивлялась усилиям алгебраических геометров.

Нечеловеческая логика

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

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

Скептики, впрочем, могут заметить, что Claude Fable 5 — это большая языковая модель, а не специализированный математический решатель. Её «рассуждения» — результат статистического предсказания токенов, а не логического вывода в строгом смысле. И всё же факт остаётся фактом: формула, сгенерированная ИИ, выдержала проверку и действительно опровергает гипотезу. Детали проверки пока не раскрыты широкой публике, но сам Альпёге, судя по тону его заявления, в корректности контрпримера не сомневается.

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