Comment by sega_sai

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.