Yapay zekanın çok fazla matematik/kod üretmesi ve resmi doğrulama kullanarak doğruluk ispatları üretmesiyle ilgili eğlenceli bir benzetme, sanki NP hissi veren bir döneme geçiyoruz; burada ifadeler matematik/kod ve tanıklar ise bu ispatlar

Tabii ki mükemmel değil çünkü kodu hâlâ (sanırım) kendimiz doğrulayabiliyoruz