Неанонсированная версия Claude продвинулась в решении задачи, связанной с гипотезой Римана
Кодик кратко объясняет суть статьи
Неанонсированная исследовательская версия модели Claude от Anthropic продемонстрировала значительный прогресс в решении задачи, связанной с гипотезой Римана — одной из ключевых нерешённых проблем математики. Хотя полное доказательство гипотезы построить не удалось, модель улучшила нижнюю оценку доли нулей дзета-функции, соответствующих гипотезе, с 41,6% до 67,2%. Этот результат был проверен внутренними и внешними экспертами, включая известных математиков. Для достижения результата модель использовала сложную систему из 60 субагентов, выполнивших тысячи команд и написавших сотни скриптов, потратив 31 млн выходных токенов. Anthropic подчёркивает, что хотя гипотеза остаётся недоказанной, результат демонстрирует стремительный рост математических возможностей ИИ.
Читайте в Telegram
|
Неанонсированная исследовательская версия Claude продвинулась в решении задачи, связанной с гипотезой Римана — одной из самых известных нерешённых проблем математики, сообщила Anthropic.
Сотрудник компании поставил перед моделью амбициозную задачу — «предпринять реальную попытку» доказать саму гипотезу, которая остаётся недоказанной с 1859 года и входит в список «Задач тысячелетия» с призовым фондом в миллион долларов. Доказать гипотезу целиком Claude не удалось, но в процессе работы модель неожиданно продвинулась в смежной задаче.
Claude улучшила давнюю нижнюю оценку доли нулей дзета-функции Римана, удовлетворяющих гипотезе, — опираясь на исследования математиков за последние десятилетия, модель подняла эту оценку с 41,6 до 67,2%. Результат независимо проверили два математика Anthropic, а также сторонние эксперты в этой области — Брайан Конри и Дэн Голдстон.
Работа над задачей заняла две сессии в Claude Code и 31 млн выходных токенов. Сначала модель сгенерировала и опробовала 650 идей — ни одна не сработала. После этого Claude почти двое суток координировал около 60 субагентов, которые в общей сложности выполнили 2400 команд в терминале и написали сотни Python-скриптов, тестируя результаты на известных нулях дзета-функции. Участие сотрудника компании при этом свелось в основном к сообщениям поддержки вроде «продолжай» и «верь в себя».
В Anthropic не рассчитывают, что использованные Claude методы приведут к доказательству самой гипотезы Римана, но считают результат показательным примером того, как быстро растут математические способности ИИ-моделей.
Код.ру уже писал о похожих случаях, когда ИИ-модели неожиданно продвигались в решении открытых математических проблем: система Astra от OpenAI ранее самостоятельно опровергла гипотезу Эрдёша 1946 года и решила десять других нерешённых задач.
