Гипотеза о якобиане пала: Claude нашла контрпример за вечер

Пока весь мир смотрел финал чемпионата мира по футболу, специалист по теории чисел Левент Альпёге сел за ноутбук. Друг за пару часов до этого спросил его про гипотезу о якобиане — знаменитую проблему алгебраической геометрии, открытую с 1939 года. К концу матча проблема была закрыта. Ночью 20 июля Альпёге объявил в X: гипотеза ложна, и найти контрпример ему помог Claude Fable 5.

Твит написан подчёркнуто буднично: «привет, гипотеза о якобиане неверна — спасибо моему близкому другу Акхилу за вопрос и моему другому близкому другу Фейблу за работу во время финала». Никакого пресс-релиза Anthropic, где Альпёге сейчас работает, не было — это личный анонс, а не корпоративный маркетинг.

Что за гипотеза и что именно нашли

Гипотеза Отт-Генриха Келлера звучит обманчиво просто. Возьмём полиномиальное отображение из C³ в C³, у которого якобиан — определитель матрицы частных производных — равен ненулевой константе в каждой точке. Локальную обратимость это гарантирует по теореме об обратной функции; гипотеза утверждала, что такое отображение обязано быть обратимым и глобально. Проблема попала в список важнейших задач XXI века Стива Смейла — рядом с гипотезой Римана, — и минимум пять опубликованных «доказательств» за 87 лет оказались ошибочными.

Контрпример Альпёге и Fable — явное отображение трёх переменных седьмой степени с целыми коэффициентами. Его якобиан всюду равен −2, но само отображение не инъективно: три разные точки переходят в одну и ту же. Обратного отображения, стало быть, не существует — гипотеза ложна для размерности три и выше. Двумерный случай формально остаётся открытым.

Поразительна здесь не только скорость, но и компактность ответа. Математики, перебиравшие потенциальные контрпримеры, ожидали найти их в районе степени 100–200 и в десятках переменных. Fable нашла степень 7 в трёх переменных — причём не перебором, а через концептуальную геометрическую конструкцию с симметрическими степенями проективной прямой.

Проверить может школьник

Главная причина, по которой у результата почти нет шансов развалиться, — его проверяемость. Это не 500-страничное доказательство, которое рецензенты будут читать годами: достаточно подставить три точки и посчитать определитель. Альпёге приложил ссылки на Wolfram Alpha прямо в треде, на Hacker News проверку уместили в восемь строк SageMath, а энтузиаст Дин Кьюртон за считанные часы формализовал контрпример в Lean 4 — причём в усиленном виде, для произвольного поля. Википедия перевела гипотезу в категорию «опровергнутых» в тот же день. Препринта на arXiv пока нет, так что формальная фиксация результата ещё впереди — но сомнений в самой выкладке практически ни у кого не осталось.

Тред на Hacker News собрал больше пятисот очков, и скепсис там был направлен не на математику, а на распределение заслуг. Транскрипт сессии не опубликован, и сколько в результате от эксперта с принстонским PhD, а сколько от модели — неизвестно. Один из комментаторов предложил зеркальный аргумент: не верить, что контрпример нашла модель, означает верить, что математик решил проблему 87-летней давности и добровольно подарил лавры чат-боту.

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

Проблема, ломавшая судьбы

У этой гипотезы тяжёлая репутация не только из-за ложных доказательств. В конце 1980-х аспирант Purdue по имени Итан Чжан писал по ней диссертацию — работа развалилась из-за ошибочной леммы его научного руководителя, и последовали годы без академической позиции, включая подработку в закусочной Subway. Мировую славу Чжан получил лишь в 2013-м, доказав теорему об ограниченных промежутках между простыми числами. Гипотеза, сломавшая ему карьеру, пала через твит, написанный во время футбольного матча.

Для ИИ-математики это уже не первый скальп за год: AlphaProof Nexus от DeepMind закрыл девять открытых проблем Эрдёша, модель OpenAI в мае опровергла 80-летнюю гипотезу дискретной геометрии, а Claude Mythos нашёл для той же задачи более короткое доказательство. Но случай с якобианом выделяется даже на этом фоне: Fable 5 позиционировалась как модель для долгих кодинг-сессий, а не для исследовательской математики. Похоже, разница между этими занятиями меньше, чем принято думать.