Китайские исследователи добились прорыва: открытый ИИ-агент Hyra решает математическую задачу, которая поставила в тупик AlphaEvolve, GPT и Claude

Новый препринт на arXiv решает давнюю проблему в аддитивной комбинаторике. Ключевую конструкцию предложил Hyra — открытый ИИ-агент от Tencent на основе модели Hy3. Несмотря на попытки AlphaEvolve от Google DeepMind, а также GPT и Claude, ни одна из них не добилась успеха. Решение Hyra было формально проверено в системе интерактивного доказательства Lean. Это достижение знаменует собой первую крупную математическую победу, одержанную моделью с открытым исходным кодом. Математик Томас Блум признал результат и даже указал Hyra в качестве соавтора.