When Computers Write Proofs…