Claude сдвинул нерешённую математику: нижняя граница 41,6% → 67,2%

Claude поднял нижнюю границу доли нулей дзета-функции Римана с 41,6% до 67,2% — задача связана с нерешённой гипотезой Римана (1859 год, премия $1 млн). Для этого модель потратила 31 миллион токенов, скоординировала 60 подагентов, которые выполнили 2400 команд, написали сотни Python-скриптов и скачали 54 статьи arXiv. Поначалу Claude сгенерировал 650 идей — все оказались неудачными; прорыв пришёл через нестандартный подход с пространством функций с квадратичной формой.

Результат проверили два математика Anthropic, а затем верифицировали формально на Lean — доказательство одобрили эксперты Brian Conrey и Dan Goldston. AI впервые двигает границы математических знаний там, где люди застряли десятилетиями: прорывы теперь возникают не из одной головы, а из роя агентов, перебирающих миллионы вариантов — и это меняет саму модель научного открытия.