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

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

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

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

В Anthropic не рассчитывают, что использованные Claude методы приведут к доказательству самой гипотезы Римана, но считают результат показательным примером роста математических способностей ИИ-моделей. Ранее система Astra от OpenAI самостоятельно опровергла гипотезу Эрдёша 1946 года и решила десять других нерешённых задач.

Подписывайтесь на наш Telegram-канал, чтобы быть в курсе всех новостей и событий Рунета.