Полтора дня и 60 субагентов ради результата по Риману

Нижняя оценка доли нулей дзета-функции Римана, лежащих на критической линии, поднялась с 41,6% до 67,2%. Результат получила неизданная исследовательская версия Claude, сообщила Anthropic; саму гипотезу Римана модель не доказала.

Сотрудник Anthropic Джарред Самнер попросил Claude «всерьёз взяться» за гипотезу. Первые 650 идей не сработали, после повторного запроса модель полтора дня координировала около 60 субагентов, которые выполнили 2400 команд оболочки и написали сотни скриптов на Python. Всё уложилось в две сессии Claude Code и 31 миллион токенов вывода.

Работу разобрали математики Anthropic Левент Альпёге и Ральф Фурман, статью по просьбе компании посмотрели Брайан Конри и Дэн Голдстон. Claude оформил доказательство в Lean, и оно прошло стандартную проверку.