Непубличная модель Anthropic совершила прорыв в решении гипотезы Римана

Исследование шло в Claude Code: за две сессии модель сгенерировала 31 миллион выходных токенов, пережила 650 неудачных попыток, задействовала 60 субагентов, выполнила 2400 команд shell и написала сотни Python-скриптов.

Результаты проверили математики Anthropic Левент Альпорг и Ральф Фурман, а также внешние эксперты Брайан Конри и Дэн Голдстон. Эрик Исли помог оформить доказательство для проверки в Lean.

Гипотезу Римана сформулировали в 1859 году; за её доказательство назначен приз в миллион долларов. Claude опиралась на работы Баллуйота, Голдстона, Сурияджаи, Тернач-Батхоба и Бомбьери.

Anthropic раскрыла метод: Claude построила функциональное пространство с квадратичной формой, индуцированной Вейлем. Нули на критической прямой образуют положительно определённое подпространство, нули вне неё — отрицательно определённое. По первым и вторым моментам модель вывела неравенство для ранга формы, а ключевым шагом стало объединение обеих частей с допущением недиагональной формы.

Компания опубликовала статью, написанную моделью, комментарии экспертов, журнал работы и формальное доказательство в Lean. О сроках открытия мультиагентного режима не сообщается.