人間→プログラミング言語→マシン 人間→自然言語→AI、プログラミング言語→機械→ AIは誇大宣伝や美しさには関心がなく、自分の要求だけを重視します。 安全で明示的、LLM対応のプログラミング言語が勝ちます。 Rust and Moveはこのモデルに合っています。Moveはまた、証明可能な正しさ(AIが証明スペックを書き込む)や取引ネイティブの演算も追加しています。