Anthropic заявляет, что модель Claude Mythos решила гипотезу Эрдёша о единичных расстояниях, над которой работали математики с 1946 года. По информации компании, решение было найдено за выходные. Инженер Sholto Douglas описал доказательство как «простое и элегантное».
Гипотеза Эрдёша предполагает, что на плоскости можно разместить конечное число точек так, чтобы каждая пара находилась на единичном расстоянии друг от друга. Проблема считалась одной из значительных нерешённых задач в дискретной геометрии.
Это произошло вскоре после того, как OpenAI опубликовала опровержение той же гипотезы. По данным Anthropic, успех Claude Mythos указывает на наличие «серьёзного потенциала» в использовании ИИ для математических открытий.
Достижение демонстрирует способность современных языковых моделей работать со сложными математическими задачами. Однако остаётся неясным, насколько полученное доказательство отличается от решения OpenAI и требует ли оно проверки специалистами.
Аналитики отмечают, что конкуренция между Anthropic и OpenAI в области ИИ-систем для научных исследований может ускорить развитие этого направления. Обе компании демонстрируют возможности своих моделей на классических математических проблемах.
Источник: The Decoder
Реклама: 🔥 Хочешь получить Telegram Premium и стать гуру Polymarket? Кликай сюда!
