Нейросетевая модель Claude Fable 5 сгенерировала контрпример к гипотезе Якобиана в трехмерном пространстве, опровергнув математическую проблему с почти вековой историей. Математик Теренс Тао опубликовал разбор этого решения, переведя машинный результат на язык геометрических структур. Исходная гипотеза предполагала, что для полиномиальных отображений с ненулевым константным якобианом локальная обратимость всегда означает глобальную обратимость, при этом двумерный случай проблемы до сих пор остается открытым.

Найденный контрпример представляет собой полином седьмой степени, в котором происходит масштабное сокращение неконстантных коэффициентов, что делает его обнаружение классическим методом перебора статистически невозможным. Искусственный интеллект смог обойти ограничение по степеням свободы, выдав точную алгебраическую конструкцию, которую специалистам теперь приходится ретроспективно объяснять через изоморфизм аффинных многообразий и операции над полиномами низких степеней.

Участие больших языковых моделей в доказательстве теорем перешло в стадию рутинного инструментария исследователей. Помимо гипотезы Якобиана, за последние дни были получены контрпримеры к гипотезе о гауссовых моментах для всех размерностей n≥3 при помощи ChatGPT. В результате формируется новый аналитический пайплайн в теоретической науке, где вычислительные системы находят неочевидные аномалии, а человек занимается их концептуальным обоснованием и интеграцией в существующую базу знаний.