Quién vigila al vigilante de la IA: matemáticas para controlar a la inteligencia artificial

Investigadores de la Universidad de Waterloo desarrollan un método que combina matemáticas, aprendizaje automático y verificación formal para garantizar la seguridad y estabilidad de los sistemas de inteligencia artificial. Una nueva forma de vigilar al vigilante digital.