Неопубликованная модель Anthropic добилась прогресса в решении важнейшей математической задачи

Гипотеза Бернхарда Римана (Bernhard Riemann) вот уже более 150 лет остаётся одной из главных нерешённых задач в математике — она связана с распределением простых чисел. Сейчас за рабочее доказательство гипотезы, которое до сих пор не удалось найти, объявлена награда в $1 млн. Значительного прогресса удалось достичь неизданной пока модели Anthropic.

Топ-10 смартфонов до 10 тысяч рублей (2026 год)

Выбираем лучшие игровые ноутбуки на российском рынке (вторая половина 2026 года)

Снято в Голливуде? Почему Стэнли Кубрик физически не смог бы подделать лунную походку

Сравнительный тест камер флагманских смартфонов (2026): итоги

Лучший процессор под DDR4 в 2026 году: AM4 против LGA 1700

Компьютер месяца, спецвыпуск: во что дефицит чипов памяти превратил бюджетные игровые ПК и при чем здесь Steam Machine

Источник изображения: anthropic.com

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

За это время она испробовала 650 вариантов решения проблемы, координируя действия 60 субагентов и потратив 31 млн выходных токенов. «Из 60 субагентов 2 отвечали за разработку основных математических решений, 13 генерировали новые варианты решения для этих агентов, 30 пытались (но не смогли) выработать новые идеи, 13 выступали в качестве валидаторов для проверки правильности аргументов, а последние 2 помогли написать первоначальную статью», — рассказали в Anthropic. Результат подтвердили двое штатных математиков компании; его формализовали с помощью платформы обработки математических доказательств Lean.

За последний год модели ИИ решили ряд сложнейших задач Пала Эрдёша (Pál Erdős); выход более мощных систем показал ещё более впечатляющие результаты. OpenAI рассказала о решении десяти задач передовой моделью Astra, а ещё одна модель конкурирующей Anthropic опровергла давнюю гипотезу якобиана. В сообществе математиков эти достижения вызывают как восторг, так и опасения: существует стандарт, согласно которому математические доказательства должны «приписываться конкретным авторам, которые берут на себя ответственность за их открытие и правильность». Есть и мнение, что математические теоремы могут не ассоциироваться с конкретными учёными — большинство звёзд во Вселенной вообще не имеет названий.