Mensch → Programmiersprache → Maschine wird zu Mensch → natürliche Sprache → KI → Programmiersprache → Maschine KI kümmert sich nicht um Hype oder Schönheit, sondern nur um ihre Anforderungen. Programmiersprachen, die sicher, explizit und LLM-fähig sind, gewinnen. Rust und Move passen in dieses Modell. Move fügt auch nachweisbare Korrektheit hinzu (wobei KI die Beweis-Spezifikationen schreibt) und handelsnative Operationen.