ИИ совершил прорыв в чистой математике: два открытия 2026 года, доказывающие, что машины способны открывать новые математические законы

Модель Anthropic Claude Fable 5 находит контрпример к гипотезе Якоби (июль 2026)

19 июля 2026 года математик Левент Альпёге, сотрудник Anthropic, объявил в X, что с помощью модели Claude Fable 5 от Anthropic нашел контрпример к гипотезе Якоби — 87-летней открытой проблеме алгебраической геометрии, впервые поставленной Оттом-Генрихом Келлером в 1939 году . Гипотеза, занимавшая 16-е место в списке проблем на следующий век филдсовского медалиста Стивена Смейла (1998 год), утверждала, что полиномиальное отображение из C^n в C^n с постоянным ненулевым якобианом обязательно является глобально обратимым .

Контрпример представляет собой удивительно краткое полиномиальное отображение длиной в 216 символов из C³ в C³, определитель Якоби которого тождественно равен -2, однако он отображает три различные тройки входных данных в один и тот же результат, опровергая глобальную обратимость . В течение нескольких часов после поста Альпёге математики по всему миру независимо подтвердили результат, а формальная верификация в ассистенте доказательств Lean была завершена менее чем за 24 часа .

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

Что эти результаты означают для будущего математики

ИИ теперь способен генерировать по-настоящему новые доказательства

Оба прорыва связаны с глубокими концептуальными скачками, а не просто с вычислительной помощью. Опровержение гипотезы Эрдёша потребовало от ИИ связать алгебраическую теорию чисел с комбинаторной геометрией — связь, которую не установил ни один математик . Контрпример к гипотезе Якоби потребовал построения тонкого полиномиального отображения с определенными алгебраическими свойствами .

Модель партнерства человека и ИИ оказывается мощной

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

Темпы ускоряются

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

Важные оговорки остаются

Контрпример к гипотезе Якоби применим только в размерности 3 и выше — исходная гипотеза остается открытой в размерности 2 . Некоторые результаты еще не прошли полное рецензирование в традиционном порядке, и не все утверждения полностью опубликованы . Но общее направление ясно: ИИ пересек порог от математического ассистента до математического первооткрывателя, и его роль в исследованиях, вероятно, будет быстро расширяться.

Общая картина

Эти прорывы 2026 года стали кульминацией быстрого прогресса в математических способностях ИИ. В июле 2025 года модели ИИ впервые решили пять из шести задач Международной математической олимпиады . К началу 2026 года модели достигли стандарта золотой медали на ММО . Теперь ИИ получает результаты на переднем крае исследований, решая проблемы, которые определяли целые карьеры.

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