Claude побил вековой рекорд по гипотезе Римана с помощью непубличной модели

Работа выглядела необычно. Claude сначала сгенерировала и попробовала 650 подходов, и все не сработали. После команды «попробуй ещё раз» модель развернула внутри Claude Code большое исследовательское сообщество: около шестидесяти агентов и 31 миллион выходных токенов. За полтора дня они выполнили 2400 команд в shell, написали сотни Python-скриптов и провели тысячи численных проверок на известных нулях. Часть агентов искала идеи, часть развивала перспективные направления, часть искала контрпримеры, ещё несколько выступали рецензентами. Два агента предложили ключевые математические ходы. 13 дали вспомогательные идеи, 30 исследовали тупиковые направления, 13 проверяли доказательство, двое оформили результат в текст. Единственный человек в этой команде в основном подбадривал модель.

Чтобы убедиться в результате, Claude запустила перекрёстную проверку, скачала 54 статьи с arXiv, выяснила, что результат не был известен раньше, и затем независимо доказала его заново. После этого математики Anthropic проверили выводы. Была подготовлена версия на языке Lean, прошедшая проверку стандартным инструментом, а внешние специалисты по аналитической теории чисел ознакомились с рукописью.

Anthropic подчёркивает, что прорыв не эквивалентен решению гипотезы Римана. Метод едва ли напрямую приведёт к полному доказательству. Однако важнее другое: модель справилась с открытой задачей, у которой нет известного ответа, — сама выдвигала направления, читала литературу, ошибалось, искала уязвимости и в итоге получила новый результат. Не исключено, что речь о непубличной модели Fable 5.1 или Fable 6, но официально это не подтверждено.