We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.
No takes yet. Share an insight, caveat, or question.
Andrew Granville (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: