Claude Fable якобы нашла контрпример к гипотезе Якобиана (Jacobian Conjecture) — проблеме, которая оставалась открытой с 1939 года.
О находке рассказал математик и сотрудник Anthropic Левент Альпёге (Levent Alpöge). В публикации в X он в шутливой форме поблагодарил своего друга Akhil за вопрос и Claude Fable 5 «за работу во время финала чемпионата мира».
За шутливым тоном скрывается серьёзный математический результат: опубликованная конструкция выглядит как явный контрпример, который можно проверить обычными вычислениями.
Что такое гипотеза Якобиана
Чтобы понять значение результата, нужно разобраться, что именно утверждает гипотеза.
Представим математическую функцию, которая берёт несколько чисел на входе и преобразует их в другой набор чисел. Например:
Матрица Якоби — это таблица всех частных производных такой функции. Она показывает, как небольшие изменения входных данных влияют на результат.
Если определитель этой матрицы никогда не равен нулю, это означает, что функция локально обратима: в любой маленькой области вокруг каждой точки можно понять, как восстановить исходные значения.
Гипотеза Якобиана утверждала, что из этого автоматически следует более сильное свойство: если преобразование обратимо в каждой отдельной точке, значит оно обратимо целиком.
То есть должна существовать обратная функция, которая позволяет однозначно восстановить исходные данные.
На интуитивном уровне это кажется естественным. Но именно переход от «всё работает локально» к «всё работает глобально» почти 90 лет оставался недоказанным.
Как Claude Fable 5 опровергла гипотезу
Контрпример работает по простой схеме.
Исследователи нашли полиномиальное отображение пространства размерности 3 в себя:
У него выполняется ключевое условие гипотезы:
-
определитель якобиана постоянный;
-
он не равен нулю;
-
локальная обратимость сохраняется.
Однако обнаруживается нарушение главного требования: несколько разных входных точек дают абсолютно одинаковый результат. Проще говоря: A → X ; B → X ; C → X . Если три разных состояния превращаются в одно и то же, восстановить исходное состояние невозможно. А значит, глобальной обратимости нет. Именно это противоречит гипотезе Якобиана.
Почему этот результат можно проверить быстро
Обычно математические открытия могут требовать месяцев или даже лет экспертной проверки. Здесь ситуация другая. Контрпример — это конкретная формула, чтобы проверить результат, достаточно:
-
вычислить её якобиан;
-
проверить, что его определитель действительно постоянный и ненулевой;
-
подставить несколько предложенных точек;
-
убедиться, что они дают одинаковый результат.
Такую проверку можно выполнить с помощью систем компьютерной алгебры или даже вручную. Поэтому вокруг результата возник интерес именно как к проверяемому вычислительному объекту, а не как к длинному сложному доказательству.
Но гипотеза закрыта не полностью. Есть важная деталь. Контрпример найден для пространства размерности 3 и выше. То есть утверждение: C³ → C³ и более высокие размерности больше не работают. Однако двумерный случай: C² → C² остаётся открытым.
Это означает, что проблема не исчезла полностью: отдельная версия гипотезы Якобиана в размерности два всё ещё ждёт решения.
Почему это большая история для математики
Гипотеза Якобиана — не просто очередная математическая задачка. Она десятилетиями находилась среди наиболее известных нерешённых проблем современной алгебры. Над ней работали многие известные математики. Например, Итан Чжан (Yitang Zhang), ставший знаменитым после прорыва в задаче о простых числах-близнецах, во время аспирантуры много лет занимался гипотезой Якобиана.
Чжан позже получил мировую известность благодаря результату о существовании бесконечно многих пар простых чисел с ограниченным расстоянием между ними. Его работа стала одним из самых неожиданных математических достижений последних десятилетий.
Это первый случай, когда ИИ решил такую задачу?
Важно разделять разные достижения математического ИИ. За последние годы системы искусственного интеллекта уже показывали впечатляющие результаты:
-
AlphaGeometry от Google DeepMind решала сложные олимпиадные задачи по геометрии;
-
AlphaProof помогала строить формальные доказательства;
-
различные LLM успешно решали множество учебных и олимпиадных задач.
Однако до этого публично не было случаев, когда большая языковая модель находила контрпример к фундаментальной открытой математической гипотезе.
Это принципиально другой тип работы. Найти доказательство утверждения — значит показать, что оно истинно. Найти контрпример — значит обнаружить, что десятилетия исследований были направлены на поиск доказательства ложного утверждения.
Claude Fable: математик или инструмент?
Пока остаётся открытым главный вопрос: насколько автономным был процесс поиска. Неизвестно, насколько большАя часть работы была выполнена самой моделью:
-
предложила ли Claude Fable структуру контрпримера самостоятельно;
-
использовались ли внешние системы компьютерной алгебры;
-
был ли поиск полностью автоматическим;
-
сколько кандидатов модель перебрала до успеха.
Именно эти детали будут определять историческую значимость результата.
Если окажется, что модель действительно самостоятельно исследовала пространство возможных конструкций и нашла рабочий пример, это станет заметным шагом к новой парадигме математических исследований.
Что дальше
Следующий этап — независимая проверка результата математическим сообществом. Хотя сам контрпример выглядит легко проверяемым, необходимо убедиться в отсутствии скрытых ошибок:
-
корректно ли задано отображение;
-
действительно ли якобиан имеет требуемое свойство;
-
нет ли нарушения условий гипотезы;
-
правильно ли интерпретируется размерность пространства.
Если всё подтвердится, история войдёт в число самых ярких примеров влияния ИИ на фундаментальную науку.
В комментариях под, пока немногочисленными, публикациями на эту тему много споров: о важности «открытия», насколько кто правильно и что понял. Присоединяйтесь к обсуждению, будем разбираться вместе.
Источник: habr.com