Компания Anthropic 10 августа сообщила о новом открытии в изучении гипотезы Римана — нерешённой математической задачи, сформулированной в 1859 году. Задача касается поведения дзета-функции Римана: предполагается, что все нетривиальные нули этой функции лежат на определённой прямой. Ранее считалось, что доля таких нулей составляет как минимум 41,6 % от общего числа, а с помощью экспериментов с ИИ удалось поднять нижнюю границу до 67,2 %.
Для работы использовали исследовательскую версию модели Claude. Сначала AI-агент Claude Code, которому поставили задачу серьёзно заняться гипотезой Римана, выдал 650 идей — но они не сработали. Тогда один из сотрудников Anthropic подбодрил систему сообщениями «не сдавайся», «верь в себя». После этого Claude задействовал около 60 вспомогательных AI-агентов и примерно за полтора дня добился результата.
В Anthropic считают, что поддержка со стороны человека помогла модели преодолеть первоначальные сомнения в значимости задачи. Найденное решение — не доказательство гипотезы Римана, а побочный результат, однако оно демонстрирует потенциал использования Claude в математических исследованиях. Открытие проверили два математика из Anthropic и два внешних эксперта, также была проведена компьютерная верификация.
Подписаться в Макс
