Suscríbete a nuestro canal
Un grupo de científicos pertenecientes a la Universidad de Pekín diseñó un sistema de inteligencia artificial capaz de solucionar problemas matemáticos complejos. De acuerdo con el medio Independent, este software verificó y resolvió de manera independiente una conjetura abierta que un experto estadounidense planteó hace más de 10 años. Los especialistas publicaron los resultados en un artículo preimpreso el pasado 4 de abril en el repositorio digital arXiv.
El desafío matemático recibe el nombre de conjetura de Anderson. El profesor Dan Anderson, integrante de la Universidad de Iowa, formuló esta teoría en el año 2014. El docente falleció en el año 2022 a la edad de 73 años, dejando este enigma del álgebra conmutativa sin una resolución definitiva hasta el presente mes de abril de 2026.
El equipo de trabajo operó bajo la supervisión directa del matemático Dong Bin. Para este proyecto, los expertos desarrollaron un marco tecnológico que utiliza dos agentes inteligentes. El sistema procesó décadas de bibliografía especializada para conectar el razonamiento en lenguaje natural con la verificación automatizada de datos técnicos.
Te puede interesar:
Funcionamiento de los agentes Rethlas y Matlas
La arquitectura informática emplea un módulo de pensamiento crítico denominado Rethlas. Esta herramienta utiliza el motor de búsqueda de teoremas Matlas para localizar estrategias de resolución de conflictos. El flujo de trabajo imita el comportamiento de los matemáticos profesionales al explorar diversas soluciones lógicas dentro de un entorno digital controlado.
Los investigadores expresaron en su documento oficial: "Con este marco, logramos resolver un problema abierto en álgebra conmutativa y formalizar la demostración de forma automática, prácticamente sin intervención humana". La inteligencia artificial necesitó únicamente 80 horas de procesamiento computacional para finalizar la demostración completa de este teorema.
El sistema ejecutó tareas que habitualmente demandan la participación de múltiples especialistas en diversas ramas de las matemáticas. Los autores del estudio recalcaron un punto fundamental sobre la autonomía del proceso. "El operador humano no tuvo que realizar ningún juicio matemático", señaló el equipo durante la presentación de sus resultados experimentales.
El futuro de la investigación matemática automatizada
El artículo académico todavía requiere una revisión por pares antes de su publicación definitiva en revistas científicas. Sin embargo, el equipo presenta este logro como una evidencia clara del progreso en la automatización de las ciencias exactas. Los investigadores afirmaron: "Este trabajo ofrece un ejemplo concreto de cómo la investigación matemática puede automatizarse de manera sustancial mediante IA".
Este avance tecnológico marca un hito en la integración de la inteligencia artificial dentro del ámbito académico de alto nivel. El uso de arXiv para difundir el hallazgo permite que la comunidad científica global analice el código y los pasos seguidos por la máquina. La Universidad de Pekín continúa liderando la frontera entre la computación avanzada y el razonamiento abstracto.