Menneskelig → programmeringsspråk → maskin blir Menneskelig → naturlig språk → AI → programmeringsspråk → maskin AI bryr seg ikke om hype eller skjønnhet, bare om sine krav. Programmeringsspråk som er trygge, eksplisitte og klare for LLM vinner. Rust og Move passer til denne modellen. Move legger også til bevisbar korrekthet (med AI som skriver bevisspesifikasjonene) og trading-native operasjoner.