Pekín, 13 abr (EFE).- Un equipo de investigadores liderado por la Universidad de Pekín ha desarrollado un sistema de inteligencia artificial (IA) capaz de resolver y verificar un problema matemático abierto sin intervención humana relevante.
Una IA desarrollada en China resuelve un problema matemático sin intervención humana
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ó este lunes el diario hongkonés South China Morning Post.
El sistema, descrito en un artículo preliminar publicado recientemente 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, el marco integra un agente de razonamiento informal, encargado de explorar estrategias y construir posibles demostraciones, con otro de verificación formal que traduce esas pruebas a un formato matemático riguroso y comprobable por máquina.
Leer la nota completa en Diario ABC
