Mistral AI ფრანგული ხელოვნური ინტელექტის კომპანიაა, ცნობილი ღია წონების მქონე ენობრივი მოდელებითა და ევროპულ AI სივრცეში ძლიერი პოზიციით. ის ქმნის როგორც ზოგადდანიშნულების, ისე სპეციალიზებულ მოდელებს, მათ შორის ინსტრუმენტებს კოდისა და მათემატიკისთვის. ეს გვერდი აგროვებს სიახლეებსა და განმარტებებს Mistral-ის მოდელების, გამოშვებებისა და წამყვან AI ლაბორატორიებს შორის მისი ადგილის შესახებ.
Mistral AI-მ გამოაქვეყნა Robostral Navigate — 8 მილიარდპარამეტრიანი მოდელი, რომელიც რობოტებს მხოლოდ ერთი კამერით ნავიგაციის საშუალებას აძლევს და აჯობებს LiDAR-სა თუ სიღრმის სენსორებზე დაფუძნებულ სისტემებს.
ვრცლად →Mistral-ის ახალი ღია კოდის მოდელი Lean 4-ში ფორმალურ ვერიფიკაციას ავტომატიზებს: miniF2F-ზე 100%, კომპლექსური თეორემების 87% ამოხსნილი, 5 უცნობი შეცდომა კოდბაზებში — ამოცანაზე $4-ად.
ვრცლად →