Proof in the time of machines
Andrew J. Granville · Bulletin of the American Mathematical Society · 2024
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.