Culture within the mathematical community has changed quite a bit over time. Especially, in terms of the rigorousness of proofs but also in terms of techniques which are accepted/used.

Yeah, I think I know what you mean — proofs using a computer. I heard about it, especially on the occasion of classification of finite simple groups.