It's still confusing to call that a "change". Apart from the way the media covers the topic, I've never known mathematics to be about proofs.