SiTech AI Team1 րոպե ընթերցում
Mistral-ը թողարկել է Leanstral 1.5 — բաց կոդով մոդել, որը ֆորմալ մաթեմատիկայում հասնում է 100%-ի
Mistral-ի նոր բաց կոդով մոդելը miniF2F չափանիշում ցույց է տալիս 100% արդյունք
Mistral AI-ն ևս մեկ կարևոր քայլ է կատարել արհեստական բանականության աշխարհում՝ թողարկելով Leanstral 1.5 մոդելը, որը նախատեսված է ֆորմալ վավերացման համար՝ Apache 2.0 լիցենզիայով:
miniF2F: 100% Կատարյալ Արդյունք
Leanstral 1.5-ը miniF2F չափանիշում գրանցել է 100% արդյունք՝ լուծելով միջնակարգ դպրոցից մինչև մաթեմատիկական օլիմպիադաների մակարդակի բոլոր խնդիրները:
Կիսվել թվային փորձով
SiTech — AI-ով հզորացված վեբ մշակում
Ստեղծում ենք արագ ու ժամանակակից կայքեր և AI-ը ներդնում իրական բիզնես գործընթացներում։ Ունե՞ք նախագիծ կամ հարց։ Ուրախ կլինենք օգնել։