Модель Claude Fable опровергла гипотезу Якобиана при помощи математического контрпримера

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

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

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