At least Lubos uses/shows some math to diss on other's work. Of course since research math is so ungodly far from rigor we can't check without the full burden of becoming a similar theoretician.

But maybe, one can dream at least, in the future science will be done with smart models, that can at least verify themselves given some assumptions.