Con su último avance en razonamiento formal, el laboratorio de IA de Google no solo ha superado a los mejores matemáticos humanos en pruebas de lógica, sino que ha resuelto el problema más persistente de la inteligencia artificial: la alucinación….