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