> ideas can sometimes be obfuscated by abstruse mathematical formalism
They are trying to communicate with other researchers who actually care that the proofs are correct. Maybe you don't, if you're simply trying to reimplement some algorithm, but criticizing research papers for using mathematical formalism is a bit ridiculous.