PEKÍN. Investigadores de la Universidad de Pekín han desarrollado una IA que resolvió y verificó un problema matemático abierto en 80 horas, utilizando un sistema innovador de razonamiento y verificación formal, destacando la creciente competencia global en esta tecnología.
Una IA china resuelve y verifica conjeturas matemáticas sin intervención humana
Un equipo de investigadores liderado por la Universidad de Pekín ha desarrollado un sistema de 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ó 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.
Leer la nota completa en Diario ABC
