Перейти к содержанию

Anthropic: Claude помог продвинуться в математике вокруг дзета-функции Римана

8.0/10

Anthropic опубликовала исследовательскую заметку о том, как Claude участвовал в математической работе, связанной с дзета-функцией Римана. Согласно описанию, вклад человека по имени Jarred в основном сводился к отправке Claude ободряющих сообщений вроде «keep going» и «believe in yourself», что помогло модели преодолеть первоначальный скепсис относительно собственной способности добиться содержательного прогресса. В материале также упоминается использование множества субагентов: по замечанию одного из комментаторов, работа продолжалась полтора дня с участием 60 субагентов. Из-за отсутствия полного текста статьи невозможно независимо оценить математическую значимость полученного результата, включая формулировку про улучшение нижней границы, связанной с гипотезой Римана.

Контекст

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

Значение

Для разработчиков и исследователей это усиливает дискуссию о том, что «prompt engineering» может сводиться не к детальным инструкциям, а к настойчивому поддержанию агентной работы LLM над сложной задачей.

Обсуждение сообщества

На Hacker News обсуждение сосредоточилось на абсурдности и новизне ситуации: участников впечатлило, что ободряющие подсказки помогли Claude продолжать работу, а кто-то пошутил про автоматический «PUA-плагин» для принуждения модели не сдаваться. Также прозвучали удивление тем, что возможное улучшение нижней границы, связанной с гипотезой Римана, не вызвало большего ажиотажа, и замечание о недоступности такого масштаба вычислений обычным пользователям из-за 60 субагентов, работавших полтора дня.

Проверка фактов

Утверждение о том, что Claude улучшил нижнюю границу доли нетривиальных нулей дзета-функции Римана на критической прямой с 41,6% до 67,2%, подтверждается независимыми пересказами KuCoin и Crypto Briefing, а также самой страницей Anthropic. При этом источники подчёркивают, что это не является доказательством гипотезы Римана, для которого потребовалось бы показать 100% нулей на критической прямой. Упоминание в комментариях «60 субагентов в течение полутора дней» остаётся непроверенным по результатам данного поиска.

Источники