📦제품미스트랄, 수학 증명·코드 검증 특화 ‘린스트랄 1.5’ 전격 공개…“퍼트넘벤치서 역대 최고 성적”미스트랄 AI가 수학 증명 및 코드 검증에 특화된 오픈소스 AI 모델 '린스트랄 1.5'를 출시했습니다.미스트랄 AI린스트랄 1.5수학 증명AI타임스1분 · 3개월 전