Somehow I doubt I will ever persuade Eliezer to write in a style fit for a journal, but even still, I'll briefly mention that Eliezer is currently meeting with a "mathematical exposition aimed at math researchers" tutor. I don't know yet what the effects will be, but it seemed (to Eliezer and I) a worthwhile experiment.
Presumably if MIRI were awash with funding you'd pay experts to make papers out of Eliezer's work, freeing Eliezer up for other things?
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.