Mistral AI가 Lean 4 기반 코드 에이전트 모델 'Leanstral-1.5-119B-A6B'를 공개했어요. 이 모델은 복잡한 수학적 객체와 소프트웨어 사양을 표현하는 데 사용돼요.
MoE 아키텍처를 활용하며, 119B 파라미터 중 6.5B가 활성화되어 있어 기존 모델 대비 성능과 비용 효율성이 높아요.
사용자는 Mistral Vibe CLI를 통해 Leanstral을 설치하고 사용할 수 있으며, API 키 설정 및 'Labs 모델' 활성화가 필요해요.