Humain → langage de programmation → machine devenant Humain → langage naturel → IA → langage de programmation → machine L'IA ne se soucie ni du battage médiatique ni de la beauté, seulement de ses exigences. Les langages de programmation qui sont sûrs, explicites et prêts pour les LLM gagnent. Rust et Move correspondent à ce modèle. Move ajoute également une correction prouvable (avec l'IA écrivant les spécifications du prouveur) et des opérations natives de trading.