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

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

Новый препринт на arXiv под названием «Settling the Optimal Exponent Relating Sumsets and Difference Sets», написанный Haowei Lin (Tencent Hunyuan) и Shanda Li (Carnegie Mellon University), решает центральный вопрос в аддитивной комбинаторике, который ставил в тупик ведущие ИИ-системы, включая AlphaEvolve от Google DeepMind, GPT и Claude. Проблема касается оценки соотношения роста суммарного

Показать ещё ↓

Источник: Habr — хаб ИИ — оригинал