"Formal computation within MindScript is realized through a Turing-complete language (λ), ensuring rigorous programmability. Meanwhile, informal computations are handled by an oracle, realized through a language model (Ψ) which interprets and processes less structured inputs."
From a former AI safety team lead at DeepMind