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.
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.
|
etiquetas: ia , matemáticas , china
Si no te gusta su respuesta, no te va a gustar y punto
Así que disfrútala como más te guste, sin complejos, y sin que te importen las opiniones.
No necesitas respuestas, sino disfrutar la experiencia sin que te agravien.
Con... absolutamente con!!!!
Digan lo que digan los mandamientos.