Una divertida comparación de la IA produciendo mucha matemática/código y generando pruebas de corrección utilizando verificación formal es que es como si estuviéramos pasando a una era de sensación NP donde las afirmaciones son matemática/código y los testigos son estas pruebas.

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