Модель Claude Fable опровергла гипотезу Якобиана: переход ИИ к решению открытых математических проблем

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

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

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