Article by the same author back in 1993, "The Death of Proof" https://www.scientificamerican.com/article/the-death-of-proof/ https://www.scientificamerican.com

Article by the same author back in 1993, "The Death of Proof" https://www.scientificamerican.com/article/the-death-of-proof/ https://www.scientificamerican.com/article/the-death-of-proo... Some key quotes for the tldr crowd: > Anthony Bordg, a mathematician at the University of Cambridge, worries that his field could face a “replication crisis” like that plaguing scientific research. > Researchers at Microsoft have already invented an interactive theorem prover (https://leanprover.github.io/ https://leanprover.github.io/) called Lean that can check proofs and even propose improvements—much as word-processing programs check our prose for errors and finish sentences for us. > Advances in computer-aided mathematics ... raise a profound question: what is the purpose of mathematics? ... worries that tools such as Lean will encourage a “stunted vision” of mathematics as an economic commodity or product rather than “a way of being human.”