미스트랄 AI가 수학 증명과 코드 검증에 특화된 오픈소스 AI 모델 '린스트랄 1.5'를 공개했어요. 이 모델은 기존 린스트랄-2603의 후속 모델로, 미스트랄 스몰 4 계열을 기반으로 개발됐어요. 린스트랄 1.5는 수학 정리 증명과 코드 검증을 목표로 하며, 증명 보조 시스템 '린 4'에 최적화됐어요. 퍼트넘벤치에서 역대 최고 성적을 기록하며 뛰어난 성능을 입증했어요.