AI
Mistral AI, Forge 출시
Forge는 기업이 내부 문서·코드베이스·운영 데이터를 활용해 도메인 특화 AI 모델을 구축할 수 있는 시스템이다. 사전학습·후학습·강화학습 파이프라인을 제공하며, EU 내 데이터 보관이 가능해 유럽 기업의 규제 …
Mistral
AI
Leanstral: 신뢰할 수 있는 코드 및 형식 증명 엔지니어링을 위한 오픈소스 에이전트
Lean 4 용으로 설계된 최초의 오픈소스 코드 에이전트로, 형식 증명(formal proof)을 자동화해 인간 검증 부담을 줄이는 것을 목표로 한다. Apache 2.0 라이선스로 모델 가중치를 공개하며, …
AI
Mistral AI, Forge 출시
Forge는 기업이 내부 문서·코드베이스·운영 데이터를 활용해 도메인 특화 AI 모델을 직접 구축할 수 있는 시스템이다. 사전학습·후학습·강화학습 전체 파이프라인을 제공하며, EU 내 데이터 보관을 보장한다. 다만 …