agente de investigación
Hyra
basado en el modelo abierto Hy3, ayudó a los científicos a resolver un problema matemático que había permanecido sin resolver durante más de 50 años.
El problema en el campo de las matemáticas combinatorias se refería a cuánto puede exceder el tamaño de un conjunto de sumas de números enteros al tamaño de su conjunto de diferencias.
La comunidad científica había demostrado durante mucho tiempo que el exponente correspondiente no superaba dos, pero aún no se sabía si este límite superior era óptimo.
El agente utilizó el modelo Hy3 para buscar conjuntos específicos e inferir la construcción general. En 24 horas de cálculos, la IA encontró el núcleo de la solución, que finalmente formó la base de un descubrimiento científico. Los científicos sólo tuvieron que comprobar la lógica, hacer ajustes y estructurar la prueba.
Para la verificación final del resultado utilizamos GPT-5.6 Sol, que ayudó a traducir correctamente.
cálculos
al lenguaje Lean 4.
finales
artículo
confirmó que el indicador requerido puede acercarse infinitamente a 2, lo que hace que este límite sea la respuesta óptima.
@ai_machinelearning_big_data