Компания Anthropic решила бросить свою невыпущенную исследовательскую версию модели Claude в глубокую воду, поставив перед ней задачу разобраться с гипотезой Римана. Эта математическая загадка с 165-летней историей сулит награду в миллион долларов и славится тем, что ставит в тупик величайшие умы человечества. К вполне ожидаемому удивлению, модель не решила проблему тысячелетия. Однако эксперимент наглядно показал, где именно сегодня проходит потолок интеллекта: ИИ превращается в элитного лаборанта, но он все еще не способен на роль первооткрывателя.
Главное
Модель Claude улучшила нижнюю границу доли нулей на критической прямой с 41,6% до 67,2%. Исследование подтверждено ведущими математиками Брайаном Конри и Дэном Голдстоном. ИИ не создал новую теорию, а оптимизировал существующие наработки через синтез десятилетий исследований. Результат доказывает эффективность ИИ в рутинной верификации и итеративном прогрессе.
Стратегический контекст
Вместо радикального теоретического скачка Claude сосредоточился на тяжелой работе по оптимизации. Синтезировав результаты многолетних изысканий — от фундаментальных трудов Энрико Бомбиери до недавних статей Балуйота, Голдстона, Суриаджаи и Тернейдж-Баттербо — модель сумела сдвинуть нижнюю границу доли нулей на критической прямой. Она не проложила новый путь, а лишь построила значительно более качественный мост, используя имеющиеся чертежи. Внутренняя команда Anthropic вместе с внешними авторитетами подтвердила: доказательство не является галлюцинацией, а представляет собой формально корректное математическое достижение.
«Мы видим будущее, где ИИ берет на себя черновую работу по проверке гипотез и поступательному развитию, оставляя истинные моменты озарения людям».
Итог
Этот кейс служит отрезвляющим напоминанием для тех, кто верит в скорое появление сильного ИИ (AGI). Claude продемонстрировал впечатляющую способность управлять сложными техническими рабочими процессами и совершенствовать существующие методологии, однако модель по-прежнему привязана к данным, на которых обучалась. ИИ способен с невероятной скоростью перебирать известные переменные, но ему не хватает творческой искры, необходимой для фундаментальной смены парадигмы в нерешаемых областях науки. По крайней мере, на данный момент.