Tag: 미스트랄

AI 수학 소프트웨어 미스트랄 린스트랄

수학 증명부터 코드 검증까지, AI가 논리를 검수한다? 미스트랄(Mistral)의 '린스트랄 1.5' 공개

복잡한 수학적 증명이나 소프트웨어 코드의 오류를 자동으로 검증해주는 AI, 미스트랄의 새로운 오픈소스 모델 린스트랄 1.5에 대해 알아봅니다.

Keep Reading