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 titulado 'Settling the Optimal Exponent Relating Sumsets and Difference Sets' de Haowei Lin (Tencent Hunyuan) y Shanda Li (Carnegie Mellon University) resuelve una cuestión central en combinatoria aditiva que había desconcertado a los principales sistemas de inteligencia artificial, incluidos AlphaEvolve de Google DeepMind, GPT y Claude. El problema se refiere a la acotación de la razón entre el crecimiento del conjunto suma y el del conjunto diferencia, donde resultados previos impulsados por IA solo alcanzaban exponentes alrededor de 1.14, pero se demuestra que la cota superior real es exactamente 2. El avance se produjo cuando los investigadores permitieron que el agente de IA Hyra propusiera construcciones y esbozos de pruebas en lenguaje natural en lugar de solo listas explícitas, lo que condujo a una construcción novedosa que posteriormente se verificó manualmente y mediante una prueba formal en Lean 4. Hyra, un agente de investigación de código abierto de Tencent basado en el modelo Hy3 (un modelo MoE de 295B lanzado bajo Apache 2.0), trabajó durante aproximadamente un día con GPT-5.6 Sol utilizado como juez para guiar la búsqueda, pero la construcción final fue verificada de forma independiente por humanos. El matemático Thomas Bloom, conocido por su riguroso escrutinio de las afirmaciones de IA, verificó el resultado e incluso reformuló el teorema, listando a los autores como 'Lin, Li y Hyra', reconociendo así a la IA como coautora. Aunque el preprint aún no ha sido revisado por pares, la combinación de una prueba verificada por máquina en Lean y la verificación humana independiente hace que esta sea una contribución rara y creíble de la IA a las matemáticas, especialmente notable por provenir de un modelo de código abierto, en contraste con logros anteriores de modelos cerrados.