> Binary is more efficient than text for many system, including language.

It is not necessarily primarily about efficiency, but more the fact that a lot of thinking doesn't use language at all.

And language does not map to every idea.

The idea of using language for reasoning about protein folding borders on ludicrous. Surely there is latent space more appropriate and (human) language has no expression for it.