Investigadores de la Universidad de Pekín han desarrollado un sistema de inteligencia artificial capaz de resolver una conjetura matemática que llevaba más de una década sin respuesta.
El sistema logró formalizar con éxito la solución a un problema de álgebra conmutativa propuesto originalmente en 2014 por el matemático estadounidense Dan Anderson.
Según informa elSouth China Morning Post, la IA completó la solución en apenas unas horas, mientras que el proceso completo de verificación requirió aproximadamente 80 horas de ejecución.
Arquitectura de agentes duales
Este avance se basa en un modelo especializado de "doble agente", diseñado para cerrar la brecha entre la intuición humana y la lógica computacional.
Un primer agente realiza un razonamiento informal para explorar diversas estrategias y construir posibles demostraciones mediante lenguaje natural. Un segundo agente se encarga de traducir estas ideas a un formato matemático riguroso que una máquina pueda verificar con absoluta certeza.
Este proceso automatiza la transición de la hipótesis a la demostración formal, una tarea que, tradicionalmente, requiere años de colaboración entre especialistas humanos.
El equipo de desarrollo señaló que la intervención humana se limitó a facilitar el acceso del sistema a documentos restringidos que la IA no podía recuperar por sí sola. No fue necesaria ninguna intervención humana para guiar la lógica matemática de la solución en sí.
Aunque los resultados son prometedores, los autores señalaron en un artículo preliminar publicado en el repositorio arXiv que los hallazgos aún no han sido sometidos a una revisión por pares.
La fiabilidad sigue siendo uno de los principales obstáculos en este campo, ya que los investigadores enfrentan dificultades para validar demostraciones generadas por IA sin una verificación externa independiente. El equipo sugiere que la combinación del razonamiento en lenguaje natural con la verificación formal podría, con el tiempo, aumentar la confianza en los descubrimientos matemáticos automatizados.
Este logro pone de manifiesto la creciente influencia de China en la carrera global de la inteligencia artificial, tras los recientes y destacados avances de empresas como Alibaba, ByteDance y DeepSeek.
