Sharciga adeegga
1. Waa maxay adeegga
Waxaad soo gudbiyaan dacwad iyo heerka. Waxaan u socdaan ka hor panel of AI models aad doorato, iyo sidoo kale qaabka garsoore ah oo sharciyada ku saabsan shuruudaha aqbalaadda, oo waxaan isku dayi in ay rasmiga ah ee natiijada Lean 4 ka dhanka ah Mathlib. soo saarka waa qoraal, set of xukummada, go’aan, iyo halka rasmiga ah waxaa la isku dayay, natiijada Lean.
2. Waa maxay natiijada waa iyo ma aha
Wax soo saarka waxaa soo saara saddexaad-parti AI qaabab iyo ma aha talo. Waa ma aha sharci, caafimaad, maaliyadeed, injineernimada ama talo xirfadeed oo nooc kasta ah, iyo xiriir xirfadeed ma aha la abuuray iyadoo la isticmaalayo adeeggan.
Maxkamadda go'aan ka gaarista shuruudaha la kulmi waa warbixin ku saabsan caddeymaha ku qoran diiwaanka in match. Waa ma aha damaanad sax ah. AI qaababka qalad sameeyaan, xogta ka akhrin, oo waxay ku samayn kartaa xusuusin in kastoo tilmaamaha aan. Waa inaad si madaxbannaan u xaqiijisaa wax kasta oo aad doonayso inaad ku tiirsan tahay, gaar ahaan ka hor inta aan la daabaco, gudbinta, ama ku dhaqmo. Tani waa qalab loogu talagalay shaqada cadaadis-tijaabinta, ma aha mid ka bedeli kara dib u eegista aadanaha xirfad leh.
A guulaysatay Lean formalization macnaheedu waa in Lean kernel aqbalay caddayn ee warbixinta oo la formalized, ka dhanka ah nooca Mathlib ee isticmaalka xilligaas. Waxayna maahan in warbixinta waa turjumaad run ah waxa aad weydiisay, iyo doorasho warbixinta rasmiga ah oo aan sheegin waxa aad ka dhigan tahay waa habka ugu badan ee caadiga ah natiijo rasmi ah fool xun. Akhri warbixinta rasmiga ah, ma aha oo kaliya go’aanka.
3. Waxyaabahaaga
Waxaad ku haystaa hantida ee dacwadaha aad gudbiso iyo natiijada soo saarka aad u. Waxaad noo siin oo keliya liisan loo baahan yahay in ay adeegga shaqeeyaan: in ay u dhaqmaan dacwad, u gudbiyaan si ay u bixiyaan qaabka aad dooratay, iyo kaydinta natiijooyinka match si aad u soo laabtaan.
Matches waa gaar ah by default. Haddii aad calaamad match dadweynaha waxaa u muuqataa qof kasta oo la xiriirka iyo waxaa laga yaabaa in ay ka muuqdaan galbeedkayaga dadweynaha. Ha daabacan match oo ku jira wax qarsoodi ah.
Ha soo gudbin macluumaad shakhsi ah oo ku saabsan kuwa kale, waxyaabaha sirta ah ee aadan xaq u lahayn inaad wadaagtaan, ama waxyaabaha sharci darrada ah.
4. Credits iyo billaabida
Credit waa la hor-bixiyey oo waxaa la isticmaalaa sida matches socda. match kasta oo leh xaddi lacageed aad dhigto; gaadhistaa ka joojiyaa match ka badan sii wadida in ay bixiyaan. Miisaaniyadaha ma aha mid la wareejin karo iyo, marka laga reebo meesha ay sharcigu u baahan yahay, waa aan la soo celin karin marka la isticmaalo. Credit aan la isticmaalin waa la soo celin karaa haddii la codsado.
Haddii aad ku xiran tahay furahaaga qiyaastaada, waxaad bixisaa bixiyihiina si toos ah oo aan u billaabi karno lacag la'aan per-token. Ka dib markii la siiyay gunnada bilaashka ah ee la sheegay, kharashka dhismaha waa in la siiyaa si loo daboolo fulinta panel, qalabka iyo kaydinta.
Waxaan u beddeli kartaa qiimaha la ogaysiin. Isbedelada marnaba ma aha in ay ku habboon yihiin credit horey u iibsaday.
5. isticmaalka aqbali karo
Ha isticmaalin adeegga si aad u abuurto waxyaabaha kale ee waxyeellada, si ay u isku dayaan in ay soo saaraan farriimahayaga ama tilmaamaha nidaamka, si ay u xalliyaan kharashyada ama xaddidaadda qiimaha, ama si ay u iibsadaan si ay u helaan iyada oo aan heshiis qoraal ah.
6. Availability
Waxaan ku tiirsan nahay qaybta saddexaad ee moodooyinka bixiyaha. bixiyaha hoos u dhacaan, bedelaan moodooyinka, iyo deprecate iyaga. A match sabab kasta oo la joojiyay iyo resumable; waxaanu ku bixinayn shaqada aan dhicin. Waxaanu ku siin lahayn damaanad la'aan ah oo aan la joojin karin, iyo qaab aad u isticmaali hore waxaa laga yaabaa in aan la heli karin.
Dacwad
Si buuxda oo sharcigu oggolaado, adeegga waxaa la siiyaa sida ay tahay oo aan wax dammaanad ah oo nooc kasta ah. Waajibaadkayaga guud ee dalab kasta oo ku xaddidan tahay lacagtii aad noo bixisay saddex bilood ka hor dalabku soo baxay. Waxaanan mas'uul ka ahayn khasaaraha aan toos ahayn ama ka dhashay, oo ay ku jiraan wax khasaare ah oo ka soo baxa ku tiirsanaanta soo saarka qaabka.
Dhammaystir
Waxaad xisaabtaada xiri kartaa waqti kasta; waxaan ku soo celin doonaa credit aan la isticmaalin. Waxaan joojin karnaa xisaabaadka ku xadgudba shuruudahaan ama ka dhigaya adeegga khatar.
9. Isbedelada, luqadda iyo xiriirka
Waxaan ku cusbooneysiin kartaa shuruudahaan; isbedelada macquulka ah waxaa lagu dhawaaqi doonaa goobta.
Tarjumaadaha boggaan waxaa loogu talagalay fududeynta iyo waxaa lagu soo saaray mashiinka. Haddii tarjumaad iyo version Ingiriisi kala duwan, version Ingiriisi maamula.
Su'aalo: nala xiriir.