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