Исследователи использовали модель Claude 3.5 Sonnet от компании Anthropic для решения сложной математической задачи, связанной с гипотезой Якобиана. ИИ смог найти контрпример, который опровергает утверждение, десятилетиями остававшееся открытым вопросом в алгебраической геометрии. Это достижение демонстрирует способность современных языковых моделей к выполнению нетривиальных логических выводов и формальных математических доказательств, выходящих за рамки простого анализа данных.
Гипотеза Якобиана была сформулирована еще в 1939 году и касалась свойств полиномиальных отображений. Несмотря на усилия профессиональных математиков, доказательство или опровержение этой гипотезы оставалось недостижимым на протяжении десятилетий. Использование ИИ позволило автоматизировать перебор сложных комбинаторных структур, что привело к обнаружению математического объекта, нарушающего условия гипотезы.
Данный кейс подчеркивает сдвиг в методологии научных исследований: ИИ перестает быть просто инструментом для обработки текста и становится полноценным ассистентом в фундаментальной науке. Способность модели работать с формальными языками и проверять логическую непротиворечивость шагов позволяет исследователям быстрее тестировать гипотезы, которые ранее требовали месяцев ручных вычислений.
Ключевые факты
- Модель Claude 3.5 Sonnet от Anthropic успешно нашла контрпример к гипотезе Якобиана.
- Гипотеза Якобиана оставалась нерешенной математической проблемой с 1939 года.
- Процесс доказательства включал использование специализированных инструментов для формальной верификации математических утверждений.
- Успех эксперимента подтверждает эффективность LLM в решении задач, требующих глубокого логического вывода и работы с абстрактными структурами.