Неопубликованная исследовательская версия Claude подняла нижнюю оценку доли нулей дзета-функции Римана, лежащих на критической прямой, с 41,6% до 67,2%. Об этом Anthropic рассказала в исследовательском посте. Саму гипотезу Римана модель не доказала.
Результат получен за две сессии в Claude Code и 31 млн выходных токенов. Сотрудник Anthropic Джарред Самнер, не математик, попросил Claude «взяться всерьёз» за гипотезу. Первые 650 идей не сработали, после повторного запроса модель полтора дня координировала около 60 субагентов: 2400 команд оболочки и тысячи численных проверок.
Доказательство разобрали математики Anthropic Левент Альпёге и Ральф Фурман, Эрик Изли помог собрать формализацию в Lean. Статью также посмотрели специалисты Брайан Конри и Дэн Голдстон.