29 de abril de 2026


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.