SiTech Team⏱️ 1 წთ. საკითხავი
Mistral-ը թողարկել է Leanstral 1.5 — բաց կոդով մոդել, որը ֆորմալ մաթեմատիկայում հասնում է 100%-ի
Mistral-ի նոր բաց կոդով մոդելը miniF2F չափանիշում ցույց է տալիս 100% արդյունք
Mistral AI-ն ևս մեկ կարևոր քայլ է կատարել արհեստական բանականության աշխարհում՝ թողարկելով Leanstral 1.5 մոդելը, որը նախատեսված է ֆորմալ վավերացման համար՝ Apache 2.0 լիցենզիայով:
miniF2F: 100% Կատարյալ Արդյունք
Leanstral 1.5-ը miniF2F չափանիշում գրանցել է 100% արդյունք՝ լուծելով միջնակարգ դպրոցից մինչև մաթեմատիկական օլիմպիադաների մակարդակի բոլոր խնդիրները: