Mistral AI는 Lean 4의 공식 검증을 위한 오픈 소스 모델인 Leanstral 1.5를 출시했습니다. 이 모델은 수학 외에도 57개의 오픈 소스 저장소를 스캔하는 동안 이전에 알려지지 않은 버그 5개를 발견했습니다. 미스트랄의 기사가 공개되었습니다…
Open-weights는 폐쇄된 가격 책정에 대한 압박을 풀고 액세스를 확대하여 전체 생태계에 대한 구축-구매 수학 방식을 변경합니다.
요약은 정보 제공 목적으로만 집계되었습니다. 전체 내용을 보려면 소스 링크를 따르세요. 데모 항목은 예시입니다.