미스트랄, 수학 증명·코드 검증 특화 ‘린스트랄 1.5’ 전격 공개…“퍼트넘벤치서 역대 최고 성적”

미스트랄 AI는 3일현지시간 수학 증명과 코드 검증를 위한 오픈소스 AI 모델 ‘린스트랄 1.5Leanstral 1.5’를 출시했다고 발표했다. 린스트랄 1.5는 기존 린스트랄2603의 후속 모델로, 미스트랄 스몰 4 계열을 기반으로 개발됐다. 수학 정리와 프로그램의 논리적 정확성을 기계적으로 검증하는 증명 보조 시스템 '린 4Lean 4'에 최적화된 AI 코드 에이전트로 설계됐으며, 수학 정리 증명과 코드 검증을 주요 목표로 한다.린 4은 수학 증명을 위해 개발된 프로그래밍 언어 린Lean을 활용한다. 이는 수학자