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