Агент Tencent Hyra доказал теорему, которую не смогли решить AlphaEvolve, GPT и Claude

Исследовательский агент Tencent Hyra на базе модели Hy3 опубликовал доказательство задачи аддитивной комбинаторики на arXiv. Решение оказалось точнее, чем у AlphaEvolve, GPT и Claude, и формально проверено в Lean 4. Это демонстрирует прорыв в возможностях открытых ИИ-агентов в сложном логическом мышлении.