O comparație interesantă a faptului că AI produce multă matematică/cod și demonstrații de corectitudine prin verificare formală este că parcă am intra într-o eră cu sentiment NP, unde afirmațiile sunt matematică/cod, iar martorii sunt aceste demonstrații

Desigur, nu este perfect, deoarece putem (cred) să verificăm codul noi înșine