Claude сдвигает границу для недоказанной дзета-функции Римана с 41,6% до 67,2%.

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

Это решение проверили два математика из Anthropic, и оно было формально верифицировано в Lean (одобрено экспертами Брайаном Конри и Дэном Голдстоном). С помощью ИИ мы исследуем передний край человеческих знаний в тех областях, где люди безуспешно работали десятилетиями. Мы наблюдаем рождение новых открытий — не силами отдельных гениев, а группой агентов, перебирающих миллионы вариантов, что меняет наше представление о том, как делается наука.