Yksi hauska vertaus siihen, että tekoäly tuottaa paljon matematiikkaa/koodia ja tuottaa oikeellisuuden todistuksia muodollisen varmennuksen avulla, on se, että olemme siirtymässä NP-tunnelmaan, jossa väitteet ovat matematiikkaa/koodia ja todistajat ovat näitä todistuksia

Tietenkään se ei ole täydellistä, koska voimme silti (luulisin) vahvistaa koodin itse