Linguagem de programação humana → → máquina torna-se Linguagem humana → natural → IA → linguagem de programação → máquina A IA não se importa com hype ou beleza, apenas com seus requisitos. Linguagens de programação que sejam seguras, explícitas e prontas para LLM vencem. Rust e Move se encaixam nesse modelo. Move também adiciona correção comprovável (com IA escrevendo as especificações do provador) e operações nativas de troca.