IA de la Universidad de Pekín resuelve en horas conjetura matemática de una década

Un sistema de inteligencia artificial desarrollado por la Universidad de Pekín ha formalizado en pocas horas la solución a una conjetura matemática planteada en 2014, un problema que había permanecido sin respuesta satisfactoria durante más de diez años. Este avance, cuya validación completa requirió 80 horas, señala un punto de inflexión en la automatización de la investigación de alta complejidad. La tecnología no solo resuelve un enigma específico, sino que proyecta una transformación en el modo en que los especialistas abordan problemas fundamentales en múltiples disciplinas científicas.

El éxito del modelo reside en una arquitectura dual que integra dos agentes especializados. Un primer agente, de razonamiento informal, explora estrategias y genera posibles demostraciones a partir del lenguaje natural, imitando el proceso creativo de un matemático. Un segundo agente, de verificación formal, se encarga de traducir esos argumentos a un formato matemático riguroso y comprobable por máquina. Fue esta combinación la que permitió al sistema enfrentar y verificar con éxito un complejo problema de álgebra conmutativa que había eludido a los investigadores.

La capacidad de la IA para formalizar demostraciones en un tiempo tan reducido plantea implicaciones profundas para el futuro de la investigación matemática y teórica. A largo plazo, esta tecnología podría modificar radicalmente el flujo de trabajo académico, automatizando partes sustanciales del proceso de descubrimiento y verificación. El avance posiciona a la Universidad de Pekín a la vanguardia de una carrera global por desarrollar herramientas de IA que no solo calculen, sino que razonen y prueben teoremas, redefiniendo los límites de la colaboración entre la inteligencia humana y la artificial.