Модель Anthropic достигла успеха в решении гипотезы Римана

Гипотеза Бернхарда Римана, являющаяся одной из самых значимых нерешённых задач в математике, связана с распределением простых чисел и была сформулирована более 150 лет назад. На данный момент за её доказательство объявлена награда в размере $1 млн. Неопубликованная модель компании Anthropic достигла прогресса в этом направлении.

Модель, которая пока не была представлена широкой публике, продемонстрировала способность продвигаться в доказательстве гипотезы Римана, увеличив нижнюю границу решений, для которых она верна. Сотрудник Anthropic, не располагающий глубокими знаниями в математике, предложил модели поработать над доказательством и оставил её на полтора дня для координации задачи.

В течение этого времени модель протестировала 650 различных подходов к решению проблемы, задействовав 60 субагентов и обработав 31 миллион токенов. Из 60 субагентов двое занимались основными математическими решениями, 13 генерировали новые подходы, 30 пытались разработать идеи, 13 проверяли правильность аргументов, а ещё два помогали в написании первоначальной статьи. Результаты работы были подтверждены двумя штатными математиками компании и формализованы с использованием платформы Lean для обработки математических доказательств.

В течение последнего года модели искусственного интеллекта успешно справились с рядом сложных задач, предложенных математиком Палом Эрдёшем. Более мощные системы, такие как модель Astra от OpenAI, уже продемонстрировали впечатляющие достижения в аналогичных задачах. Данные успехи вызывают как восторг, так и опасения в математическом сообществе, поскольку существует мнение, что математические доказательства должны быть связаны с конкретными авторами, что затрудняет признание достижений ИИ в этой области.