Anthropic дала Claude решить сложную задачу - гипотезу Римана, и вот, что получилось Кстати, сама научная статья написана одним автором - Claude. Сотрудник Anthropic не математик попросил новую версию Claude, которая еще не выпущена серьёзно попробовать решить гипотезу Римана - одну из самых известных нерешённых проблем математики с 1859г. И вот Claude сгенерировала и проверила сотни идей ~ 650, координировала 60 субагентов, выполняла тысячи численных проверок, писала скрипты и изучала литературу. Полностью гипотезу это не решило, но в ходе работы Claude неожиданно продвинул нижнюю оценку доли нетривиальных нулей дзета-функции Римана, которые доказанно лежат на критической прямой. Claude нашёл принципиально новый метод. Пруф тут. Доказательство формально верифицировано на Lean 4. И ещё один момент, на который стоит обратить внимание. Claude сначала генерировала скептичные ответы в духе «это слишком сложно, вряд ли у меня получится». После того как сотрудник Anthropic написал ей «продолжай, верь в себя», модель продолжала и в итоге нашла результат.