Skip to content
AI 인텔리전스Jul 4, 2026AI 인텔리전스
기사

Mistral AI가 Leanstral 1.5를 출시했는데, 이는 Lean 4에서의 형식 검증을 위한 오픈 소스 모델입니다.

이 모델은 복잡한 수학 문제를 해결하고, 57개의 오픈 소스 저장소를 스캔하면서 이전에 알려지지 않은 다섯 개의 버그를 찾아냈습니다.

Data Cube AI 편집팀출처: Mistral AI
01

출처 브리프

Mistral AI가 Leanstral 1.5를 출시했는데, 이는 Lean 4에서의 형식 검증을 위한 오픈 소스 모델입니다. 이 모델은 복잡한 수학 문제를 해결하고, 57개의 오픈 소스 저장소를 스캔하면서 이전에 알려지지 않은 다섯 개의 버그를 찾아냈습니다.