Again, I find that comparing the two is a false equivalence. Non-surveyable proofs seems limited to recent, computer assisted proofs. The replication crisis app

Again, I find that comparing the two is a false equivalence. Non-surveyable proofs seems limited to recent, computer assisted proofs. The replication crisis applies to whole fields of study. Not to mention that the specific example I responded to (set theory) was developed long before computer assisted proofs were a thing.