تشبيه ممتع بين الذكاء الاصطناعي الذي ينتج الكثير من الرياضيات/الكود ويقدم إثباتات للصحة باستخدام التحقق الرسمي هو أننا ننتقل إلى عصر شعور NP حيث العبارات هي الرياضيات/الشيفرة والشهود هم هذه الأدلة

بالطبع ليس مثاليا لأننا لا نزال نستطيع (على ما أعتقد) التحقق من الكود بأنفسنا