Claude Fable 5 опроверг 87-летнюю математическую гипотезу Якобиана
Сотрудник компании Anthropic сообщил, что математическая модель Claude Fable 5 обнаружила контрпример к гипотезе Якобиана. Эта гипотеза, сформулированная в 1939 году, считается одной из наиболее известных открытых проблем алгебры.
Гипотеза Якобиана связывает детерминант матрицы Якоби с обратимостью полиномиального отображения. На протяжении десятилетий математики пытались либо доказать, либо опровергнуть её, но безуспешно.
Как именно Claude Fable 5 пришёл к контрпримеру, пока не раскрывается. Однако, по словам представителя Anthropic, модель использовала комбинаторный перебор и анализ алгебраических структур, чтобы найти опровергающий случай.
Если результат подтвердится после рецензирования, это станет одним из самых значимых примеров, когда ИИ не просто помогает в доказательстве, а самостоятельно находит ошибку в фундаментальном математическом утверждении.
Ранее нейросети уже демонстрировали успехи в математике: например, AlphaProof и AlphaGeometry от DeepMind помогали доказывать теоремы. Однако самостоятельное опровержение классической гипотезы — шаг вперёд.
Математическое сообщество ожидает публикации полного доказательства контрпримера. Если оно будет признано корректным, гипотеза Якобиана перестанет быть открытой проблемой, а возможности ИИ в науке получат новое подтверждение.
Anthropic пока не раскрывает детали алгоритма, но обещает предоставить данные для верификации. Этот случай может стимулировать дальнейшее применение ИИ для решения нерешённых математических задач.
