The idea the proofs are the heart and soul of mathematics is an unfortunate unforced error, and will lead to the death of the professions now that machines are better at making proofs.