Человек → язык программирования → машина превращается в Человек → естественный язык → ИИ → язык программирования → машина ИИ не заботится о хайпе или красоте, только о своих требованиях. Языки программирования, которые безопасны, явны и готовы к LLM, побеждают. Rust и Move соответствуют этой модели. Move также добавляет доказуемую корректность (с ИИ, пишущим спецификации доказателя) и операции, родные для торговли.