Tencent Hunyuan AI Agent решил математическую задачу, существовавшую 50 лет, и подтвердил оптимальный индекс роста 2

Согласно сообщению Huoxing Caijing, официальный аккаунт Tencent Hunyuan на X опубликовал сообщение, в котором говорится, что его исследовательский агент Hyra в сотрудничестве с моделью Hy3 явно доказал проблему, которая беспокоила математическое сообщество более 50 лет: оптимальный показатель роста для размера суммарного множества |A+A| и разностного множества |A-A| конечного множества целых чисел A равен точно 2. Ранее в 1969 году была установлена верхняя граница в 2, но за последующие более 50 лет лучшие построения давали показатель лишь немного выше 1,1. Этот результат демонстрирует потенциал AI-агентов в области чистой математической логики. Tencent заявляет, что Hyra — это внутренне разработанный AI-исследовательский агент, предназначенный для помощи в исследовании сложных математических и научных задач. Этот вывод требует подтверждения через рецензирование со стороны математического сообщества.