Jednym z zabawnych porównań dotyczących AI, które produkuje dużo matematyki/kodu i generuje dowody poprawności za pomocą formalnej weryfikacji, jest to, że przechodzimy do ery odczuć NP, gdzie stwierdzenia to matematyka/kod, a świadkami są te dowody.

Oczywiście, że to nie jest idealne, ponieważ wciąż możemy (chyba) zweryfikować kod sami