Investigadores chinos logran un hito: el agente de IA de código abierto 'Hyra' resuelve un problema matemático que desconcertó a AlphaEvolve, GPT y Claude

Un nuevo preprint en arXiv resuelve un problema de larga data en combinatoria aditiva, con la construcción clave propuesta por Hyra, un agente de IA de código abierto de Tencent basado en el modelo Hy3. A pesar de los intentos de AlphaEvolve de Google DeepMind, GPT y Claude, ninguno tuvo éxito, y la solución de Hyra fue verificada formalmente en el asistente de pruebas Lean. El logro marca un hito como el primer gran resultado matemático de IA por un modelo de código abierto, y el matemático Thomas Bloom ha respaldado el resultado, incluso incluyendo a 'Hyra' como coautor.

Tencent

HP se asocia con OpenAI para desarrollar sus usos de IA

HP ha anunciado una asociación con OpenAI para integrar la plataforma Frontier en su organización, tras una fase de exploración que comenzó en febrero de 2026. La colaboración tiene como objetivo acelerar el despliegue de casos de uso de IA agéntica, mejorar las interacciones con clientes y socios, y optimizar los procesos internos.

OpenAI