Невыпущенная исследовательская версия Claude улучшила математический результат, связанный с гипотезой Римана. Модель доказала, что как минимум 67.2% нулей дзета-функции лежат на критической линии. Предыдущий рекорд составлял 41.6%. Изначально разработчик Джаред Самнер просто попросил нейросеть попытаться доказать саму гипотезу. С главной задачей модель не справилась, но попутно нашла способ усилить существующее доказательство.

На поиск решения ушло полтора дня. Внутри среды Claude Code нейросеть скоординировала 60 субагентов и сгенерировала 31 миллион токенов. Они выполнили 2400 shell-команд и написали сотни Python-скриптов для численных проверок. Участие человека сводилось к базовой мотивации. Самнер отправлял промпты с просьбой продолжать работу и верить в себя, когда модель начинала сомневаться в успехе.

В итоге Claude самостоятельно подготовила научную статью. Нейросеть также написала формально верифицируемое доказательство на языке Lean. Математически прорыв случился благодаря объединению недавних работ нескольких ученых со статьей Бомбьери. Модель применила неравенство для ранга квадратичной формы, учитывая недиагональные элементы. Доказательство успешно прошло проверку математиков Anthropic и независимых экспертов.