En morsom sammenligning av at AI produserer mye matematikk/kode og produserer korrekthetsbevis ved hjelp av formell verifisering, er at det er som om vi beveger oss inn i en NP-følelses-æra hvor utsagnene er matematikk/kode og vitnene er disse bevisene

Selvfølgelig er det ikke perfekt, siden vi fortsatt (antar jeg) kan verifisere koden selv