Неанонсированная версия Claude продвинулась в решении задачи, связанной с гипотезой Римана

Неанонсированная исследовательская версия Claude продвинулась в решении задачи, связанной с гипотезой Римана — одной из самых известных нерешённых проблем математики, сообщила Anthropic.

Сотрудник компании поставил перед моделью амбициозную задачу — «предпринять реальную попытку» доказать саму гипотезу, которая остаётся недоказанной с 1859 года и входит в список «Задач тысячелетия» с призовым фондом в миллион долларов. Доказать гипотезу целиком Claude не удалось, но в процессе работы модель неожиданно продвинулась в смежной задаче.

Claude улучшила давнюю нижнюю оценку доли нулей дзета-функции Римана, удовлетворяющих гипотезе, — опираясь на исследования математиков за последние десятилетия, модель подняла эту оценку с 41,6 до 67,2%. Результат независимо проверили два математика Anthropic, а также сторонние эксперты в этой области — Брайан Конри и Дэн Голдстон.

Работа над задачей заняла две сессии в Claude Code и 31 млн выходных токенов. Сначала модель сгенерировала и опробовала 650 идей — ни одна не сработала. После этого Claude почти двое суток координировал около 60 субагентов, которые в общей сложности выполнили 2400 команд в терминале и написали сотни Python-скриптов, тестируя результаты на известных нулях дзета-функции. Участие сотрудника компании при этом свелось в основном к сообщениям поддержки вроде «продолжай» и «верь в себя».

В Anthropic не рассчитывают, что использованные Claude методы приведут к доказательству самой гипотезы Римана, но считают результат показательным примером того, как быстро растут математические способности ИИ-моделей.

Код.ру уже писал о похожих случаях, когда ИИ-модели неожиданно продвигались в решении открытых математических проблем: система Astra от OpenAI ранее самостоятельно опровергла гипотезу Эрдёша 1946 года и решила десять других нерешённых задач.