Earlier quoted context omitted.
I was described as "too scholarly" by my PhD advisor when writing up my first couple of papers. I'm in industry now. People doing a PhD/post-doc need to understand that there is no escape from "sales". Lots of academically leaning people, including myself, set out with a goal of avoiding becoming a seller and wanting to work in a space where data does the persuading rather than smooth talk. Unfortunately no such plac…
This even extends to the hardest problems in mathematics and science. Solve the Riemann Hypothesis for real? Good luck getting the community to actually take a look at your paper and award you for it. Us problem solvers like these "pure" fields because we idealize a world where the work indisputably speaks for itself. Unfortunately without the sales and connection bullshido, no one will ever look at your profound wor…
Obviously, you have to bear in mind that high-profile mathematicians do get contacted by cranks and they have to weigh up what's worth spending their time on, but I have no doubt that if I did chance upon a genuine proof of the Riemann Hypothesis, I'd be able to find a decently respected mathematician to look at it and help me to publish it in a form acceptable to the academic community.
On the other hand, I agree with your comment about formal proof systems, and I'd love to use them in my (pure mathematical) research, but I've found the usability isn't there for me yet.