Comment by SneakyTornado29

Last time someone talked about automating proofs, a whole new field was invented (computer science)