중요Mistral AI
Mistral, 수학 증명 특화 모델 Leanstral 1.5 공개
Lean 기반 정리증명 자동화 모델. 형식 검증·수학 툴링 개발자는 오픈 가중치 활용 검토 가치 있음.
원문 제목 Leanstral 1.5: Proof Abundance for All
원문 보기 ↗Lean 기반 정리증명 자동화 모델. 형식 검증·수학 툴링 개발자는 오픈 가중치 활용 검토 가치 있음.
원문 제목 Leanstral 1.5: Proof Abundance for All
원문 보기 ↗