Anthropic дала Claude решить сложную задачу - гипотезу Римана, и вот, что получилось

Кстати, сама научная статья написана одним автором - Claude.

Сотрудник Anthropic не математик попросил новую версию Claude, которая еще не выпущена серьёзно попробовать решить гипотезу Римана - одну из самых известных нерешённых проблем математики с 1859г.

И вот Claude сгенерировала и проверила сотни идей ~ 650, координировала 60 субагентов, выполняла тысячи численных проверок, писала скрипты и изучала литературу.

Полностью гипотезу это не решило, но в ходе работы Claude неожиданно продвинул нижнюю оценку доли нетривиальных нулей дзета-функции Римана, которые доказанно лежат на критической прямой.

Claude нашёл принципиально новый метод. Пруф тут.

Доказательство формально верифицировано на Lean 4.

И ещё один момент, на который стоит обратить внимание. Claude сначала генерировала скептичные ответы в духе «это слишком сложно, вряд ли у меня получится». После того как сотрудник Anthropic написал ей «продолжай, верь в себя», модель продолжала и в итоге нашла результат.