A Liquidação da Linguagem em Matemática "LLM"