Comment by keiru

>Mathematics was never focused on proof until the formalization of math became popular approximately 100 years ago.

We are transitioning surprisingly fast from kinda explaining stuff to automatically and systematically advancing exclusively through rigurously formalized proofs.