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

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

AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식