Tencent Hunyuan AI агент Hyra помогает решить 50-летнюю математическую задачу: оптимальный индекс роста объединения и разности подтвержден как 2

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

Этот результат демонстрирует потенциал AI-агентов в области чистой математической логики. Tencent заявляет, что Hyra является внутренним исследовательским агентом AI, специально предназначенным для помощи в исследовании сложных математических и научных проблем. Этот вывод все еще требует подтверждения от коллег в математическом сообществе.