Człowiek → język programowania → maszyna staje się Człowiek → język naturalny → AI → język programowania → maszyna AI nie obchodzi hype'u ani piękna, tylko swoje wymagania. Języki programowania, które są bezpieczne, jednoznaczne i gotowe na LLM, wygrywają. Rust i Move pasują do tego modelu. Move dodaje również udowodnioną poprawność (z AI piszącym specyfikacje dowodów) oraz operacje natywne dla handlu.