Claude улучшил результат в одной из главных нерешённых задач математики

Claude улучшил результат в одной из главных нерешённых задач математики

Сотрудник Anthropic попросил исследовательскую версию Claude попробовать доказать гипотезу Римана. Она открыта с 1859 года, награда за доказательство — миллион долларов.

Сначала Claude перебрал 650 идей и не смог подступиться к решению. Во время второй попытки модель полтора дня координировала 60 субагентов. Они запускали тысячи проверок, писали сотни Python-скриптов, изучали научные работы и перепроверяли результаты друг друга. Доказательство не нашлось, но удалось продвинуться в решении с 41.6% до 67.2%. На это ушёл 31 миллион токенов.

Работа сотрудника Anthropic состояла в основном в подбадривании модели. Он писал в чат «продолжай» и «верь в себя», почти как в этой истории. В Anthropic думают, что это помогло побороть скептицизм Claude.

Приглашённые математики подтвердили значимость результата. В Anthropic при этом не считают, что найденный подход позволит доказать саму гипотезу Римана.

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