Сотрудник Anthropic — по данным нескольких источников, это Джаред Самнер, создатель bun, — попросил неопубликованную исследовательскую версию Claude «серьёзно взяться» за гипотезу Римана, открытую с 1859 года и оценённую в миллион долларов премии. Модель не смогла доказать саму гипотезу, но за полтора дня работы улучшила ключевую оценку: доля нулей дзета-функции, лежащих на критической линии, поднялась с 41,6% до 67,2%.

Это значимый прогресс: с 1974 по 2020 год математики сдвинули эту границу лишь с 33,3% до 41,6% — за 46 лет коллективной работы десятков учёных. Claude добился скачка втрое большего масштаба за одну попытку, при этом всё «руководство» человека сводилось к фразам вроде «продолжай» и «верь в себя».

• Сначала Claude перебрал, по разным данным, 600+ (Data Secrets) или 650 (AI Central Александра Горного) идей и не смог найти рабочий подход
• На второй попытке модель за полтора дня самостоятельно координировала около 60 субагентов, которые запускали тысячи проверок и писали сотни Python-скриптов
• Улучшенная оценка получена за счёт объединения идей из недавних научных работ с результатами статьи 2000 года
• Всего потрачено около 31 млн выходных токенов в двух длинных сессиях в Claude Code
• Доказательство проверено в Lean и подтверждено двумя математиками Anthropic и двумя внешними экспертами; официального peer review пока нет
• В Anthropic считают, что найденный подход не позволит доказать саму гипотезу Римана целиком
• Полные результаты и методология опубликованы Anthropic: anthropic.com/research/riemann-zeta