🧠 Claude попытался решить гипотезу Римана и случайно улучшил результат, который десятилетиями считался пределом.

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

Claude Code получил очень общий запрос: «серьёзно попробуй решить гипотезу Римана». Сначала модель перебрала около 650 идей без успеха. Затем за полтора дня она координировала примерно 60 субагентов, выполнила около 2400 shell-команд, написала сотни Python-скриптов и провела тысячи численных проверок. Всего было сгенерировано около 31 млн выходных токенов. 

После обнаружения результата агенты:

- искали контрпримеры;
- перепроверяли доказательство независимо;
- скачали 54 научные работы, чтобы убедиться, что результат не был получен ранее;
- формализовали доказательство в Lean.

Работу дополнительно изучили математики Anthropic и внешние эксперты по теории чисел. 

Саму гипотезу Римана Claude не решил.

А полезный новый математический результат возник как побочный эффект автономного исследования задачи, которую модель решить не смогла.

https://www.anthropic.com/research/riemann-zeta

#AI #Claude #Mathematics #Research #AIAgents