Mistral AI Leanstral 1.5 د خلاصې سرچینې ماډل په توګه خپور کړی چې د ریاضياتو ثبوتونو تصدیق کولو لپاره ډیزاین شوی او وګوري چې ایا سافټویر سم چلند کوي.
شرکت د اجازې اپاچي 2.0 لایسنس لاندې ماډل خپور کړ ، پراختیا کونکو او سوداګرۍ ته اجازه ورکوي چې دا په سوداګریزه توګه وکاروي ، تعدیل او ځای په ځای کړي. سازمانونه کولی شي پخپله کوربه لینسټرال 1.5 هم ولري، کوم چې ممکن د هغو کسانو سره مرسته وکړي چې د محرمیت، موافقت، او د معلوماتو حکومتولۍ اړتیاوې لري.
Mistral Leanstral 1.5 د Lean 4 سره کار کولو لپاره ډیزاین شوی، یو متقابل تیوریم پروور چې د ریاضیاتو بیاناتو او سافټویر مشخصاتو څرګندولو او تصدیق کولو لپاره کارول کیږي.
ماډل د اکادمیک ریاضیاتو او همدارنګه د عملي سافټویر تصدیق په نښه کوي، چیرې چې پراختیا کونکي اړتیا لري ثابت کړي چې کوډ تعریف شوي درستیت او خوندیتوب اړتیاوې پوره کوي.
Mistral د وړیا API پای ټکی له لارې Leanstral 1.5 وړاندیز کوي. پراختیا کونکي کولی شي دا د ځان کوربه شوي ګمارنې لپاره د هګینګ مخ څخه هم ډاونلوډ کړي.
Leanstral 1.5 د 119 ملیارد ټول پیرامیټونو سره د ماهرینو ترکیب ترکیب کاروي.
یوازې شاوخوا 6 ملیارد پیرامیټرې د تحلیل پرمهال فعال دي ، ماډل ته اجازه ورکوي چې د هرې غوښتنې پروسس کولو پرمهال د خپل بشپړ جوړښت کوچنۍ برخه وکاروي.
د Mistral په وینا، Leanstral 1.5 د miniF2F د اعتبار او ازموینې دواړو برخو کې بشپړ نمرې ترلاسه کړې، یو بنچمارک چې د رسمي ریاضياتي استدلال ارزولو لپاره کارول کیږي.
موډل د 672 ستونزو څخه 587 هم حل کړي چې په PutnamBench کې شامل دي، کوم چې پیچلي استدلال او اوږده ریاضیاتي ثبوتونه ازموي.
Mistral وویل چې Leanstral د کمپیوټري سرچینو نږدې اوومه برخه ته اړتیا لري چې Claude Opus 4.6 به د ورته PutnamBench کاري بار هڅه کولو پرمهال مصرف کړي وي.
Leanstral 1.5 همدارنګه په FATE-H کې د فراغت کچې 87٪ خلاصې الجبرا ستونزې او په FATE-X کې د دوکتورا کچې 34٪ ستونزې حل کړې.
Mistral یو سیسټم هم وښوده چې Leanstral 1.5 کاروي ترڅو په اتوماتيک ډول د زنګ سافټویر تصدیق کړي.
پایپ لاین Aeneas کاروي ترڅو د زنګ کوډ په لیان نمایشونو کې وژباړي. لینسټرال بیا هڅه کولی شي دا ثابت کړي چې ایا کوډ د دې تعریف شوي سموالي ملکیتونه پوره کوي یا هغه قضیې وپیژني چیرې چې دا ملکیتونه سرغړونه شوي.
Mistral سیسټم د 57 خلاصې سرچینې زنګ ذخیره کولو کې ازموینه وکړه. پایپ لاین 47 سرغړونې ملکیتونه کشف کړل او د 11 ریښتیني سافټویر بګونه یې تایید کړل.
د شرکت په وینا ، د دې کیګونو څخه پنځه یې دمخه د GitHub له لارې راپور شوي ندي.
د اپاچي 2.0 جواز سازمانونو ته اجازه ورکوي چې Leanstral 1.5 په سوداګریزو محصولاتو کې مدغم کړي، ماډل تعدیل کړي، او دا په خپلو زیربناوو کې ځای پرځای کړي.
د ځان کوربه توب شرکتونو ته هم اجازه ورکوي چې د دریمې ډلې کوربه شوي خدمت ته د لیږلو پرځای د دوی په سیسټمونو کې د حساس سرچینې کوډ ، ریاضيکي څیړنې ، او د تایید ډیټا وساتي.
خپرونه د Mistral OCR 4 معرفي کول تعقیبوي، د دې وروستي اسناد - استخبارات او نظری - کرکټر پیژندنې ماډل.
وروستي تخنیکي خبرونه، د مخابراتو بصیرت، او د محصول لانچ هرچیرې چې تاسو غوره کوئ ترلاسه کړئ.
په غوره سرچینو کې پروپاکستاني اضافه کړئ او زموږ نور کیسې په ګوګل لټون او غوره کیسو کې وګورئ.
ونډې
