примерно 25,6 миллиона слов, и в процессе сгенерировала 650 гигабайт данных. Для решения задачи Claude использовал 60 специализированных агентов, каждый из которых проанализировал около 2400 работ, включая 54 релевантные статьи из архива arXiv, чтобы гарантировать обоснованность своих рассуждений. Ключевыми факторами стали использование обучения с подкреплением и верификация с помощью Lean — ассистента доказательств. Anthropic объясняет успех сочетанием крупномасштабных вычислений и формальной верификации, что знаменует новую веху в математических открытиях с помощью искусственного интеллекта.