It's worth reading Doron Zeilberger's many opinions about proof/rigor and other things.

https://sites.math.rutgers.edu/~zeilberg/OPINIONS.html