Is there any guarantee that every concept which a machine can learn can be represented in present-day human language in a manner compact enough to use? One wor

Is there any guarantee that every concept which a machine can learn can be represented in present-day human language in a manner compact enough to use? One worry is that a machine might learn to do something we can't represent efficiently. I mean, people write whole libraries of books on ethics, so how can you expect a machine to punch out one or two lines on its own? There's no upper limit on how long a proof to a given problem must be in any fixed language. And if you have to invent new language, people won't be able to read it anymore.