Новости криптомира

20 июля 2026 года исследователь Anthropic Левент Альпоге объявил о сенсационном результате: языковая модель Claude Fable 5 нашла контрпример к гипотезе Якобиана — одной из центральных нерешенных проблем алгебраической геометрии, сформулированной немецким математиком Отто-Генрихом Келлером в 1939 году.

Суть гипотезы проста, но глубока. Представьте себе формулу, которая преобразует один набор чисел в другой. Математики умеют проверять такую формулу «локально» — в каждой отдельной точке она не теряет информацию и не «склеивает» разные входные данные. Гипотеза Якобиана утверждала, что если формула ведет себя идеально в малом, то ее действие можно обратить и глобально: восстановить исходные числа по результату. Это свойство называется «обратимостью».

Контрпример, который всё ломает

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

Примечательно, что вопрос о гипотезе задал другу Альпоге, а сам Claude работал над задачей во время финала чемпионата мира по футболу. За 87 лет существования гипотеза стала печально известной из-за множества ошибочных доказательств. Математик Цяочу Юань отметил, что это самая знаменитая открытая проблема, когда-либо решенная языковой моделью, и процитировал разбор Т.Т. Мо, который в 2008 году указал, что даже такие светила, как Беньямино Сегре, Клод Шевалле и Игорь Шафаревич, ошибались в ее оценке.

Математик Джаред Дюкер Лихтман назвал результат «выдающимся», напомнив, что частный случай гипотезы был темой диссертации Итана Чжана, будущего автора прорыва в теории простых чисел.

Проверяемость против шумихи

Ключевое отличие этого результата от типичных заявлений ИИ-компаний — его абсолютная проверяемость. Обычно мы слышим о рекордах на бенчмарках или внутренних тестах. Здесь же — конкретная формула, которую можно подставить и пересчитать вручную. Пока результат не прошел формальное рецензирование, но сама его природа делает его доступным для проверки любому математику.

Альпоге — не новичок в науке. Он защитил докторскую в Принстоне под руководством филдсовского лауреата Манджула Бхаргавы, а в 2015 году получил премию Моргана — высшую награду США за студенческие исследования в математике.

ИИ против открытых проблем: контекст

Это не первый случай, когда ИИ помогает решать математические задачи. В октябре 2025 года вице-президент OpenAI Кевин Вейл заявил, что GPT-5 решила десять проблем Эрдеша, но заявление не подтвердилось — модель нашла уже известные решения. В январе 2026 года GPT-5.2 Pro решила проблему Эрдеша №397, что подтвердил сам Теренс Тао. В мае модель OpenAI опровергла гипотезу Эрдеша 1946 года о единичных расстояниях — это первый случай такого уровня для ИИ. Доказательство проверили девять внешних математиков.

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

Мой комментарий: Результат Альпоге и Claude Fable 5 — это не просто очередной ИИ-рекорд, а демонстрация того, что языковые модели могут генерировать принципиально новые математические объекты, а не просто компилировать известные. Если проверка подтвердит корректность, это станет водоразделом: ИИ перестает быть просто инструментом для вычислений и начинает участвовать в фундаментальных открытиях. Однако история с ошибками OpenAI напоминает: пока каждый такой результат требует бритвы Оккама и руки живого математика.