Нейросеть Claude помогла опровергнуть гипотезу якобиана, открытую 87 лет

Математик Левент Альпёге, сотрудник Anthropic и выпускник Гарварда, Кембриджа и Принстона, опубликовал заявление об опровержении в социальной сети X. Ни статьи, ни препринта нет: результат уместился в один пост с формулой и тремя точками. Источником стал разбор публикации Альпёге и открытых данных о его биографии и работе. В благодарностях к результату он упомянул «близкого друга Fable», то есть модель Claude Fable 5, и «близкого друга Ахила», предположительно профессора Чикагского университета Ахила Мэтью. Теоретик чисел Джаред Лихтман уже приписал опровержение тройке: Альпёге, Мэтью и Claude Fable 5.

Что такое гипотеза якобиана простым языком?

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

Гипотеза, сформулированная Отт-Генрихом Келлером в 1939 году, утверждала: если якобиан постоянный и ненулевой, то преобразование обратимо целиком, а обратное тоже выражается многочленами. Проще говоря: «хорошее локально» обязано быть «хорошим глобально».

В 1998 году математик Стивен Смейл включил её в список ключевых задач на XXI век, рядом с гипотезой Римана и уравнениями Навье-Стокса.

Как именно гипотезу опровергли?

Альпёге предъявил конкретное отображение из C³ в C³ (из трёхмерного комплексного пространства в себя), у которого:

• Якобиан всюду равен −2, то есть это ненулевая константа и все условия гипотезы выполнены.
• Три разные точки переходят в одну и ту же, а значит, обратного отображения не существует по определению: глядя на результат, невозможно понять, из какой точки он получился.

Координаты всех трёх точек оказались обычными дробями, поэтому проверку можно выполнить подстановкой. Сам Альпёге приложил ссылки на вычисления прямо в треде: якобиан раскрывается в константу −2, а подстановки точек (0, 0, −1/4) и (1, −3/2, 13/2) обе дают (−1/4, 0, 0).

Добавлением фиктивных переменных контрпример переносится в любую старшую размерность, так что одним постом гипотеза опровергнута для всех n от 3 и выше. Формально открытым остаётся только исторический случай двух переменных.

Почему 87 лет никто не мог найти ответ?

Порог входа в задачу обманчиво низок: чтобы понять условие, достаточно программы первого курса. Это создавало иллюзию доступности.

• Википедия называет гипотезу «печально известной» количеством опубликованных доказательств с тонкими ошибками. В математическом фольклоре за ней закрепилась репутация «кладбища» ложных заявлений.
• Частичные результаты подогревали веру: в 1980-м Ванг доказал гипотезу для отображений степени 2, а Басс, Коннелл и Райт свели общий случай к кубическим отображениям.
• В 1994-м Сергей Пинчук опроверг вещественный аналог гипотезы, но комплексная версия устояла.

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

Где здесь Claude и что именно сделала нейросеть?

Это главный открытый вопрос. Нет ни промпта (запроса к модели), ни истории диалога, ни разбора, какую часть работы выполнила нейросеть Claude, а какую люди. Вся раскрытая методология состоит из трёх слов благодарности «другу Fable».

Альпёге работает в Anthropic, поэтому опровержение де-факто оказывается внутренним результатом компании, анонсированным личным постом. Математике это не вредит: она проверяется без оглядки на аффилиации. Но подробностей процесса логично ждать уже не от энтузиаста-одиночки, а от самой Anthropic.

Как проверить результат самостоятельно?

1. Откройте Wolfram Alpha или любой символьный вычислитель.
2. Подставьте точки из поста Альпёге в формулу отображения. Например, при x=0, y=0 отображение превращается в (z, 0, 0), и подстановку (0, 0, −1/4) можно проделать устно.
3. Вычислите якобиан отображения и убедитесь, что определитель тождественно равен −2.
4. Сверьте, что точки (0, 0, −1/4) и (1, −3/2, 13/2) дают одинаковый результат (−1/4, 0, 0). Ссылки на пошаговые вычисления Альпёге приложил в треде к своему посту.

Сравнение с российскими нейросетями

Ни YandexGPT, ни GigaChat на данный момент не позиционируются как инструменты для фундаментальных математических исследований. Их сильная сторона в работе с русскоязычным текстом, генерации контента и бытовых задачах. Claude Fable 5, судя по заявлению Альпёге, использовался именно для символьной математики на уровне открытых задач, что пока остаётся нишей западных моделей. Для авторов из РФ и СНГ прямого аналога этого сценария нет.

Частые вопросы

Claude действительно решил задачу самостоятельно?

Это неизвестно. Альпёге не раскрыл ни промпт, ни историю диалога с моделью. Результат приписывается тройке: Альпёге, предположительно Мэтью и Claude Fable 5, но распределение вклада не описано. Математическая проверка контрпримера не зависит от того, кто его нашёл: формула либо работает, либо нет.

Можно ли считать гипотезу якобиана закрытой?

Для размерностей от 3 и выше, да, если контрпример подтвердится сообществом. Случай двух переменных (n=2) формально остаётся открытым. При этом на момент публикации нет рецензированной статьи: результат существует только в виде поста в социальной сети с проверочными ссылками.

Почему результат не опубликован в журнале?

Автор выбрал формат поста в X. Контрпример устроен так, что проверяется подстановкой за минуту, поэтому формат журнальной статьи для него не обязателен. Рецензия, вероятно, последует, но для математического сообщества ключевой вопрос уже не «правильно ли посчитано», а «как именно модель участвовала в поиске».

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