I wish the author had, as a PoC, taken one of the papers in his career as a maths PhD, and rewritten it so that a non-mathematician (say, one with only a CS or physics degree) can immediately understand it.
I don't say it's impossible, but it should make visible all the difficulties on the way.