미스트랄 AI, 신뢰할 수 있는 코딩 위한 'Leanstral' 공개

미스트랄 AI가 형식 검증과 AI 코딩을 결합한 오픈소스 파운데이션 'Leanstral'을 발표했습니다. 직관적인 AI 코딩에 수학적 신뢰성을 더해 개발자 커뮤니티의 주목을 받고 있습니다.