PEKÍN (EFE).— Un equipo de investigadores desarrolló un sistema de inteligencia artificial capaz de resolver y verificar un problema matemático abierto sin intervención humana relevante.
El modelo logró en horas formalizar la solución de una conjetura planteada en 2014 mediante un sistema de doble agente que combina razonamiento en lenguaje natural y verificación formal, informó ayer el diario “South China Morning Post”.
El sistema, descrito en un artículo preliminar publicado en el repositorio arXiv, abordó un problema de álgebra conmutativa propuesto por el matemático estadounidense Dan Anderson y completó su verificación en unas 80 horas de ejecución.
De acuerdo con los investigadores, encabezados por la Universidad de Pekín, el marco integra un agente de razonamiento informal, encargado de explorar estrategias y elaborar posibles demostraciones, y otro de verificación formal que traduce esas pruebas a formato matemático riguroso y comprobable.
El equipo señaló que la única intervención humana consistió en facilitar el acceso a documentos restringidos que el sistema no pudo obtener por sí mismo, sin haber un juicio matemático durante el proceso.
Los autores sostienen que este enfoque permite automatizar tareas que hasta ahora requerían colaboración entre especialistas y supervisión constante, aunque el trabajo aún no es sometido a revisión por pares.
El desarrollo se enmarca en el avance de los modelos de lenguaje y los sistemas basados en agentes aplicados a problemas de investigación matemática, un ámbito en el que persisten retos como la fiabilidad de las demostraciones generadas por IA.
Los investigadores indicaron que la combinación de razonamiento en lenguaje natural y verificación formal podría facilitar la resolución de problemas complejos y reforzar la validación de resultados en este campo.