Mistral AIが公開した「Leanstral」を徹底解説。AIコーディングの信頼性問題を解決する形式証明技術やMoEアーキテクチャ、最新動向まで深掘り。