Umano → linguaggio di programmazione → macchina diventa Umano → linguaggio naturale → AI → linguaggio di programmazione → macchina AI non si preoccupa del clamore o della bellezza, solo dei suoi requisiti. I linguaggi di programmazione che sono sicuri, espliciti e pronti per LLM vincono. Rust e Move si adattano a questo modello. Move aggiunge anche la correttezza dimostrabile (con AI che scrive le specifiche del dimostratore) e operazioni native per il trading.