Una comparación divertida de la IA produciendo muchas matemáticas/código y pruebas de corrección producidas usando verificación formal es que es como si nos dirigiéramos a una era con sensación de NP donde las afirmaciones son matemáticas/código y los testigos son esas demostraciones

Por supuesto, no es perfecto, ya que todavía podemos (supongo) verificar el código nosotros mismos