AI · 글로벌
Mistral AI, Leanstral 1.5 모델 출시
Mistral AI가 Leanstral 1.5 모델을 출시했다. 이 모델은 Apache-2.0 라이선스 하에 제공되며, Lean 4 코드 에이전트로 672개의 PutnamBench 문제 중 587개를 해결할 수 있다. Leanstral 1.5는 119B의 혼합 전문가 모델로 6.5B의 파라미터를 활성화한다.
출처 1개해외단일 출처단일 출처
출처 1곳 자세히 보기
Mistral AI의 Leanstral 1.5 모델 출시 소식을 전함
주장
단일 출처가 제기한, 교차 확인 전 주장
Mistral AI가 Leanstral 1.5 모델을 출시함 — MarkTechPost
Leanstral 1.5는 Apache-2.0 라이선스 하에 제공됨 — MarkTechPost
Leanstral 1.5는 Lean 4 코드 에이전트로 672개의 PutnamBench 문제 중 587개를 해결할 수 있음 — MarkTechPost
Leanstral 1.5는 119B의 혼합 전문가 모델로 6.5B의 파라미터를 활성화함 — MarkTechPost
빠진 관점
아직 확인되지 않았거나 보도에서 빠진 관점
Leanstral 1.5의 구체적 활용 사례 미제공
이런 정리를 매일 아침 8시 메일로
댓글
회원 없이도 댓글 작성 가능 · 작성자 책임 · 권리침해 시 즉시 임시조치