Сотрудники Anthropic заявили, что Claude Mythos также смог решить задачу, которую OpenAI недавно представила как крупный математический результат ИИ. Речь идет о гипотезе Эрдёша о единичных расстояниях — открытой задаче комбинаторной геометрии, поставленной в 1946 году.
Инженер Anthropic Шолто Дуглас написал в X, что Mythos нашел для нее «милое и простое доказательство». По его словам, это указывает на большой запас уже существующих возможностей ИИ для математических открытий.
Для проверки команда использовала систему, созданную после того, как ИИ решил задачу Эрдёша №1196. В этой схеме изолированные экземпляры Claude Code с доступом к Mythos получают формулировку задачи, строят варианты решения, а затем один экземпляр сводит результаты и передает их другим независимым экземплярам для дальнейшей работы.
Как сообщается, Mythos часто шел по другому пути, чем модель OpenAI. Математик Дэниел Литт назвал результат Anthropic «немного хуже», чем у OpenAI, хотя, по данным компании, Mythos также нашел и решение OpenAI.
Anthropic опубликовала версию доказательства, подготовленную Opus 4.7.
Ранее Google DeepMind также сообщила, что система с участием ИИ решила девять задач Эрдёша. Однако этот подход опирается на формальный язык доказательств Lean. В исходном материале отмечается, что такой метод может выглядеть менее впечатляющим для сторонников «чистых» больших языковых моделей, хотя Claude Code тоже не является чистой LLM и работает как агентная оболочка.
Источник: The Decoder.
