AI ამბები უახლესი ამბები ხელოვნური ინტელექტის შესახებ

Mistral AIAI კვლევა

AI ამბების ყველა სტატია, რომელიც ეხება თემებს Mistral AI და AI კვლევა — ორივე მიმართულება ერთ გვერდზე, განახლებადი ახალი მასალის გამოქვეყნებისთანავე.

მონიშნული თეგები: Mistral AI × AI კვლევა ×

2 სტატია

Mistral AI-მ Robostral Navigate წარადგინა — 8-მილიარდიანი რობოტ-ნავიგაციის მოდელი

Mistral AI-მ გამოაქვეყნა Robostral Navigate — 8 მილიარდპარამეტრიანი მოდელი, რომელიც რობოტებს მხოლოდ ერთი კამერით ნავიგაციის საშუალებას აძლევს და აჯობებს LiDAR-სა თუ სიღრმის სენსორებზე დაფუძნებულ სისტემებს.

ვრცლად →

Mistral-მა Leanstral 1.5 გამოუშვა — მათემატიკური თეორემებისა და კოდის ვერიფიკაციის ავტომატიზაცია

Mistral-ის ახალი ღია კოდის მოდელი Lean 4-ში ფორმალურ ვერიფიკაციას ავტომატიზებს: miniF2F-ზე 100%, კომპლექსური თეორემების 87% ამოხსნილი, 5 უცნობი შეცდომა კოდბაზებში — ამოცანაზე $4-ად.

ვრცლად →