Claude поднял нижнюю границу в задаче о нулях дзета-функции

Anthropic дала неопубликованной исследовательской версии Claude гипотезу Римана — одну из самых известных нерешённых задач математики о расположении нулей дзета-функции. Гипотезу модель не доказала, но продвинула смежный результат: доказанную нижнюю границу доли нулей, лежащих на критической прямой, она подняла с 41,6% до 67,2%.
Это классическая задача с историей: границу двигали вручную десятилетиями, и каждый шаг был отдельной работой. Anthropic описала, как модель шла к результату, в отдельной публикации про математические способности Claude.
В обсуждении отдельно спорят о том, как такие результаты оценивать: Гаутам Камат заметил, что значимость математической работы способны судить единицы специалистов, а в соцсетях её мерят возрастом задачи и громкостью анонса.