I think the interface of LLM with formalized languages is really the future. Because here you can formally verify every statement and deal with hallucinations.
It's obviously not the future (outside of mathematics research). The whole LLM boom we've seen in the past two years comes from one single fact: peopel don't need to learn a new language to use it.