>No human programmer had to read or edit
I don't know that most people would consider this a positive?
How can the proofs themselves be verified if nobody looked at them?