ИИ-агент Tencent обошел GPT и Claude в решении сложной математической задачи

Исследовательский ИИ-агент Hyra, разработанный китайской компанией Tencent, представил решение сложной математической проблемы. Задача в области аддитивной комбинаторики ранее не была решена такими известными системами, как AlphaEvolve от Google DeepMind, а также моделями GPT и Claude.

Результаты исследования изложены в препринте на платформе arXiv. Соавторами работы выступили Хаовэй Линь из Tencent Hunyuan и Шанда Ли из Университета Карнеги-Меллон. В документе детально описана ключевая конструкция, предложенная Hyra, которая использовала открытую модель Hy3. Доказательство было официально верифицировано с помощью языка Lean 4, что подтверждает его корректность.