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

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

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

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