Разработчики из Anthropic сообщили, что модель Claude Mythos смогла решить гипотезу Эрдёша о расстояниях. Эта задача из области комбинаторной геометрии оставалась нерешенной с 1946 года. Ранее о ее решении заявили в OpenAI.
Инженер Шолто Дуглас отметил, что Mythos нашла простое и изящное доказательство. Для работы использовалась система из изолированных агентов Claude Code. Они самостоятельно разрабатывали пути решения, обменивались результатами и проверяли выводы друг друга.
Математик Даниэль Литт назвал доказательство Mythos чуть менее строгим по сравнению с версией OpenAI, однако модель смогла воспроизвести и вариант конкурентов. Anthropic уже опубликовала версию доказательства, подготовленную с помощью Opus 4.7.