TD
The Decoder • 25일 전
IMP 7
미스트랄 '린스트랄 1.5' 공개, 수학 벤치마크 완벽 통과 및 코드 버그 검출
Mistral AI가 수학적 증명과 소프트웨어 검증을 위해 설계된 오픈소스 모델 'Leanstral 1.5'를 공개했습니다. 이 모델은 공식 수학 벤치마크인 miniF2F에서 100%의 완벽한 정확도를 기록했으며, 실제 오픈소스 코드를 분석해 숨겨진 5개의 보안 버그까지 발견하며 코드 검증 능력을 입증했습니다.
오픈소스 수학-증명 형식-검증