Claude опроверг знаменитую гипотезу якобиана. Она держалась 87 лет, а проверка занимает минуту

В ночь после финала чемпионата мира по футболу математик Левент Альпёге опубликовал в X сообщение, которое начинается словами «всем привет, гипотеза якобиана ложна». Дальше — благодарность «близкому другу Ахилу» за наводку на задачу и «близкому другу Fable», работавшему над ней во время финала, формула отображения из C³ в C³ и три точки, которые оно переводит в одну. Ни статьи, ни препринта, ни пресс-релиза: заявление о падении математической гипотезы с 87-летней историей уместилось в один твит.

Автор — не случайный человек в математике. Альпёге — теоретик чисел 1992 года рождения, выпускник Гарварда, Кембриджа и Принстона; докторскую защитил под руководством филдсовского лауреата Манджула Бхаргавы и получил премию Моргана — главную награду США за студенческие математические исследования. Позже вместе с Бхаргавой и Шнидманом он продвинул многовековую задачу о представлении чисел суммой двух рациональных кубов, а самая свежая его математическая работа — участие в решении десятой проблемы Гильберта над всеми числовыми полями.

«Друг Ахил» — судя по всему, Ахил Мэтью, профессор Чикагского университета: теоретик чисел Джаред Лихтман в комментарии к результату уже приписал опровержение тройке Альпёге, Мэтью и Claude Fable 5. «Друг Fable» в представлении не нуждается — это модель Anthropic. Важно добавить, что сам Альпёге сейчас работает в Anthropic. На личном сайте он пишет, что после выхода GPT-4 ушел из академической математики обратно в computer science — так что «близкий друг Fable» оказывается в буквальном смысле коллегой.

Сама гипотеза якобиана — про полиномиальные преобразования: берем отображение, где каждая новая координата — многочлен от старых. Определитель матрицы Якоби — его и называют якобианом — показывает, как такое преобразование локально растягивает или сжимает пространство. Если этот определитель — ненулевая константа, преобразование нигде ничего не схлопывает и в каждой точке локально обратимо. Гипотеза, сформулированная Отт-Генрихом Келлером в 1939 году, утверждала: тогда оно обратимо и целиком, причем обратное отображение — тоже многочлены. Коротко: «хорошее везде локально» обязано быть «хорошим глобально». В 1998 году Стивен Смейл включил ее в свой список математических задач на XXI век — в одной компании с гипотезой Римана, P vs NP и уравнениями Навье–Стокса.

Формула из твита ломает это одним ударом. У предъявленного отображения якобиан всюду равен −2: константа, не ноль — все условия гипотезы выполнены. Но три разные точки переходят в одну и ту же, а значит, обратного отображения не существует по определению: глядя на результат, невозможно сказать, из какой из трех точек он получился. Приятная деталь: хотя гипотеза живет в комплексном пространстве, координаты всех трех точек — обычные дроби, так что столкновение проверяется простой подстановкой. Добавлением фиктивных переменных контрпример из размерности 3 переносится в любую старшую размерность — одним твитом гипотеза опровергнута для всех n ≥ 3. Формально открытым остается только исторический случай двух переменных.

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

• Википедия называет гипотезу печально известной количеством опубликованных и неопубликованных доказательств с тонкими ошибками, а в математическом фольклоре за ней закрепилась репутация «канонического кладбища фриков»;

• ошибались не только любители — неверные доказательства выходили и у профессиональных математиков в рецензируемых журналах;

• частичные результаты годами подогревали веру: в 1980-м Ванг доказал гипотезу для отображений степени 2, а Басс, Коннелл и Райт свели общий случай к кубическим отображениям;

• тревожный звонок прозвенел в 1994-м, когда Сергей Пинчук опроверг вещественный аналог гипотезы (там якобиан всюду ненулевой, но непостоянный) — комплексная версия тогда устояла.

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

Можно ли верить твиту без статьи? А тут и не нужно верить — все проверяется механически. Утверждений два: определитель матрицы Якоби тождественно равен −2 (это точное алгебраическое тождество, а не численная проверка) и три точки переходят в одну. Проверка занимает минуту, причем проверочные ссылки приложил сам Альпёге — прямо в треде под твитом: вычисление якобиана, который раскрывается в константу −2, и подстановки точек (0, 0, −1/4) и (1, −3/2, 13/2) — обе дают (−1/4, 0, 0). Третью точку Wolfram Alpha проверит, если поменять в последнем запросе знаки у x и y, а подстановку (0, 0, −1/4) можно проделать и вовсе устно: при нулевых x и y отображение превращается в (z, 0, 0). Лазейки с «нестандартной формулировкой» тоже нет: перестановкой и масштабированием координат пример приводится к канонической версии с якобианом ровно 1 — и три точки по-прежнему склеиваются.

Теперь немного скепсиса. Проверено в этой истории все, кроме главного — самого процесса. Нет ни промпта, ни истории диалога, ни объяснения, какую часть работы сделала модель, а какую — люди: вся раскрытая методология состоит из трех слов благодарности «другу Fable». Открытым остается вопрос атрибуции — сколько в контрпримере от модели, а сколько от человека. И задать его теперь есть кому: раз Альпёге — сотрудник Anthropic, опровержение де-факто оказывается внутренним результатом компании, анонсированным личным твитом. Математике это не вредит — она проверяется без оглядки на аффилиации, — но подробностей процесса логично ждать уже не от энтузиаста-одиночки, а от самой Anthropic.

Это уже третий громкий математический результат ИИ за месяц: в конце июня Claude Fable 5 доказал 12-летнюю гипотезу квантовой оптимизации, десять дней назад GPT-5.6 Sol Ultra предъявил доказательство гипотезы о двойном покрытии циклами, теперь пала гипотеза якобиана. А в четверг, 23 июля, в Филадельфии открывается Международный конгресс математиков — главное событие математического мира; в США он проходит впервые за 40 лет. На следующий день после открытия легендарный математик Теренс Тао прочитает там публичную лекцию «Математика в эпоху ИИ». Тема кулуаров конгресса, похоже, определилась за неделю до его начала.

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

Источник: habr.com