Tag
#Mistral AI
2 artykuły z tym tagiem
Newsy
Mistral AI prezentuje Shieldstral 1.0 3B: Adaptacyjny klasyfikator bezpieczeństwa multimodalnego
Mistral AI wprowadza Shieldstral 1.0 3B, innowacyjny klasyfikator bezpieczeństwa multimodalnego, który rewolucjonizuje moderację treści, traktując ją jako jedno pytanie tak/nie, zamiast sztywnej taksonomii kategorii szkó
Redakcja Aigest8 sie 2026
Newsy
Mistral AI prezentuje Leanstral 1.5: Model agenta kodu dla Lean 4 rozwiązujący 587 problemów PutnamBench
Mistral AI wprowadził Leanstral 1.5, model agenta kodu dla Lean 4, który znacząco poprawia automatyczne dowodzenie twierdzeń i inżynierię dowodów, osiągając imponujące wyniki w benchmarkach.
Redakcja Aigest3 lip 2026