Jedna zábavná paralela AI produkující spoustu matematiky/kódu a důkazů správnosti pomocí formálního ověření je, že je to, jako bychom se přesouvali do éry NP pocitů, kdy jsou výroky matematika/kód a svědci jsou tyto důkazy

Samozřejmě to není dokonalé, protože si kód stále (asi) můžeme ověřit sami