Una divertente similitudine riguardo all'AI che produce molta matematica/codice e prove di correttezza utilizzando la verifica formale è che è come se stessimo entrando in un'era di sensazioni NP in cui le affermazioni sono matematica/codice e i testimoni sono queste prove.

Certo, non è perfetto dato che possiamo ancora (credo) verificare il codice noi stessi