Claude не доказал гипотезу Римана, но поднял нижнюю границу нулей дзета-функции с 41,6% до 67,2%.
Исследовательская версия Claude не доказала гипотезу Римана, но нашла новый результат для связанной задачи: она повысила известную нижнюю границу доли нулей дзета-функции, лежащих на критической прямой, с 41,6% до 67,2%.
Claude Code получил очень общий запрос: «серьёзно попробуй решить гипотезу Римана». Сначала модель перебрала около 650 идей без успеха. Затем за полтора дня она координировала примерно 60 субагентов, выполнила около 2400 shell-команд, написала сотни Python-скриптов и провела тысячи численных проверок. Всего было сгенерировано около 31 млн выходных токенов.
Как проверили результат
После обнаружения результата агенты:
- искали контрпримеры;
- перепроверяли доказательство независимо;
- скачали 54 научные работы, чтобы убедиться, что результат не был получен ранее;
- формализовали доказательство в Lean.
Работу дополнительно изучили математики Anthropic и внешние эксперты по теории чисел.
Саму гипотезу Римана Claude не решил. Полезный новый математический результат возник как побочный эффект автономного исследования задачи, которую модель решить не смогла.
Ещё новости:
