> I know that it's a radical idea, but if the goal is to let scientists spend less time writing formulas, maybe we should consider letting them use modern software?

What does 'let' mean here? Who is stopping them? (Except possibly journals that want LaTeX submissions—but, as you point out, Word can export LaTeX equivalents of its formulæ.)