Claude Mythos решил математическую задачу Эрдёша
Разработчики из Anthropic сообщили, что модель Claude Mythos смогла решить гипотезу Эрдёша о расстояниях. Эта задача из области комбинаторной геометрии оставалась нерешенной с 1946 года. Ранее о ее решении заявили в OpenAI.
Инженер Шолто Дуглас отметил, что Mythos нашла простое и изящное доказательство. Для работы использовалась система из изолированных агентов Claude Code. Они самостоятельно разрабатывали пути решения, обменивались результатами и проверяли выводы друг друга.
Математик Даниэль Литт назвал доказательство Mythos чуть менее строгим по сравнению с версией OpenAI, однако модель смогла воспроизвести и вариант конкурентов. Anthropic уже опубликовала версию доказательства, подготовленную с помощью Opus 4.7.
Читайте также
- Claude взял интервью почти у 81 000 человек на 70 языках
- Anthropic расписала три версии экономики США к 2030 году
- Claude и физик за три месяца собрали 36 рукописей
- Разрешение жульничать спасло модель Anthropic от саботажа
- NYT усомнилась, что Claude нашёл фермент сам
- Claude посчитал девять петель там, где рекорд был восемь
Комментарии
Пока никто не написал. Будьте первым.
Присоединяйтесь к разговору
Войдите через Google, чтобы оставить комментарий. Имя и аватар подставятся из вашего профиля Google, а комментарий появится после модерации.