Новость

Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude

1 источник

Все новости

Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude На arXiv вышел препринт "Settling the Optimal Exponent Relating Sumsets and Difference Sets" — восемь страниц за подписью Хаовэя Линя из Tencent Hunyuan и Шанды Ли из Университета Карнеги — Меллона. Он ставит точку в вопросе аддитивной комбинаторики, на котором за последний год проверили себя едва ли не все громкие ИИ-системы — от AlphaEvolve из Google DeepMind до GPT и Claude. Ответ нашелся не у них: ключевую конструкцию предложил Hyra — исследовательский агент Tencent, работающий на открытой мо

Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude На arXiv вышел препринт "Settling the Optimal Exponent Relating Sumsets and Difference Sets" — восемь страниц за подписью Хаовэя Линя из Tencent Hunyuan и Шанды Ли из Университета Карнеги — Меллона. Он ставит точку в вопросе аддитивной комбинаторики, на котором за последний год проверили себя едва ли не все громкие ИИ-системы — от AlphaEvolve из Google DeepMind до GPT и Claude. Ответ нашелся не у них: ключевую конструкцию предложил Hyra — исследовательский агент Tencent, работающий на открытой модели Hy3. Формальная проверка доказательства выложена в открытый репозиторий на Lean 4 — языке для машинной проверки математических доказательств. Читать далее #tencent #hyra #hy3 | @habr_ai

Источники 1
  • Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude Habr AI 
    Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude

На arXiv вышел препринт "Settling the Optimal Exponent Relating Sumsets and Difference Sets" — восемь страниц за подписью Хаовэя Линя из Tencent Hunyuan и Шанды Ли из Университета Карнеги — Меллона. Он ставит точку в вопросе аддитивной комбинаторики, на котором за последний год проверили себя едва ли не все громкие ИИ-системы — от AlphaEvolve из Google DeepMind до GPT и Claude. Ответ нашелся не у них: ключевую конструкцию предложил Hyra — исследовательский агент Tencent, работающий на открытой модели Hy3. Формальная проверка доказательства выложена в открытый репозиторий на Lean 4 — языке для машинной проверки математических доказательств. Читать далее

#tencent #hyra #hy3 | @habr_ai