რა არის AI უსაფრთხოების კლასიფიკატორი — და როგორ მუშაობს?
AI უსაფრთხოების კლასიფიკატორი პატარა მოდელია, რომელიც ამოწმებს მოთხოვნებსა და პასუხებს საზიანო შინაარსზე, სანამ ისინი ჩატბოტამდე მიაღწევენ ან მისგან გამოვლენ. აი, როგორ მუშაობს ის.
ვრცლად →Mistral AIდა AI ინსტრუმენტები
AI ამბების ყველა სტატია, რომელიც ეხება თემებს Mistral AI და AI ინსტრუმენტები — ორივე მიმართულება ერთ გვერდზე, განახლებადი ახალი მასალის გამოქვეყნებისთანავე.
3 სტატია
Mistral AI-მ გამოუშვა Shieldstral — ღია წონების უსაფრთხოების კლასიფიკატორი
Mistral AI-მ ღია წონებით გამოაქვეყნა Shieldstral — 3-მილიარდპარამეტრიანი მოდელი, რომელიც ტექსტსა და სურათებს მომხმარებლის მიერ თავისუფალი ენით ჩამოყალიბებული წესების მიხედვით ამოწმებს, ხელახალი წვრთნის გარეშე.
ვრცლად →Mistral-მა Leanstral 1.5 გამოუშვა — მათემატიკური თეორემებისა და კოდის ვერიფიკაციის ავტომატიზაცია
Mistral-ის ახალი ღია კოდის მოდელი Lean 4-ში ფორმალურ ვერიფიკაციას ავტომატიზებს: miniF2F-ზე 100%, კომპლექსური თეორემების 87% ამოხსნილი, 5 უცნობი შეცდომა კოდბაზებში — ამოცანაზე $4-ად.
ვრცლად →