Resumen · últimas 24h

1. 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.