Пост канала
- фото
🧠 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
Открыть в MAX- Просмотры
- 563
- ER
- 1,2%
- Реакции
- 7