протестировала 650 различных идей, координируя работу 60 вспомогательных агентов и потратив в общей сложности 31 миллион токенов. Два из вспомогательных агентов разработали ключевые математические идеи, другие предлагали идеи, пытались, но не смогли развить новые, выступали в роли проверяющих или помогали писать статью. Два штатных математика Anthropic подтвердили результаты, и доказательство было формализовано с помощью открытого ассистента доказательств Lean. Это часть серии математических прорывов больших языковых моделей, включая решённые задачи Эрдёша и другие результаты модели OpenAI «Astra», а также опровержение гипотезы Якобиана моделями Anthropic. Растущее число результатов вызывает как восторг, так и беспокойство: некоторые математики обеспокоены вопросом авторства и ответственности за доказательства, в то время как лауреат Филдсовской премии Тимоти Гауэрс предполагает, что изменения могут быть менее проблематичными, чем кажется.