Un bucle humano-IA construye polinomios irreducibles con medida de Mahler bajo el límite de Boyd para todo grado par hasta 2000

Según arXiv·cs.AI, el enfoque combina prompting conversacional con un pipeline numérico rápido, un verificador simbólico exacto y búsqueda distribuida a gran escala. El agente de IA prototipa solvers numéricos y simbólicos localmente, lanza búsquedas paralelas en clústeres distribuidos y colabora con el investigador humano para extraer y verificar hipótesis matemáticas. El resultado es una construcción de cinco parámetros que produce polinomios irreducibles con medida de Mahler estrictamente inferior al punto límite de Boyd α₁≈1,255434 para cada grado objetivo, mejorando seis valores publicados previamente.