Iinkqubo zenkonzo
1. Inkonzo isebenza njani
Uthumela isicelo kunye nesicwangciso. Siyiqhuba idlule kwiqela lemodeli ze-AI okhethayo, kunye nemodeli yomthetho elawula iimfuno zokuxhaswa, kwaye sizama ukumisela impumelelo kwi-Lean 4 ngokuchasene ne-Mathlib. Imveliso yi-transcript, iseti yemithetho, i-verdict, kwaye apho kuvavanywa ukumisela, i-Lean result.
2. Imveliso ithetha ntoni na
Imveliso iveliswa ziimodeli ze-AI zeqela lesithathu kwaye ayisiyonto yoncedo. Ayiyikucebiso lezomthetho, zonyango, zemali, zobunjineli okanye ezizimeleyo, kwaye akukho budlelwane obuzimeleyo obuza kwenziwa ngokusebenzisa le nkonzo.
Umgwebi olawula iimfuno ezihlangabezana nezo zinikwe ilizwi malunga nobungqina obukwi-record kulo match. Ayiqinisekisi ukuba ilungile. Iimodeli ze-AI zenza iimpazamo, zifunda amacebo angekhoyo, kwaye zingavelisa izicatshulwa nokuba kumiyalelo engasebenziyo. kufuneka uqinisekise ngokuzimeleyo nantoni na ofuna ukuxhomekeka kuyo, ngakumbi phambi kokuba ipapashwe, inikezelwe, okanye isebenze. Le yisixhobo sovavanyo loxinzelelo lomsebenzi, hayi isixhobo sokufaka indawo yovavanyo olunobungqina
Ulawulo olusebenzayo lwe Lean luthetha ukuba i Lean kernel yavuma ubungqina belizwi elibizwa ngokuba lisemthethweni, phantsi kohlobo lwe Mathlib esetyenziswa ngexesha. Ayithethi ukuba elo lizwi liguqulelwe ngokuchanekileyo into oyicelayo, kwaye ukukhetha ulwimi olusemthethweni olungatsho into oyithethayo yindlela eqhelekileyo ebangela ukuba impendulo esemthethweni ikhohlise. Funda ulwimi olusemthethweni, hayi kuphela iimvakalelo.
3. Izinto eziqulethe
Ugcina ulawulo lwezicelo ozifakeyo kunye nemveliso eyenziweyo kuwe. Usisinika kuphela ilayisensi efunekayo ukulawula iinkonzo: ukuqhubekekisa ukufaka kwakho, ukudlulisa kubathengi bemodeli owazikhethela, nokugcina i-match efunyenwe ukuze uphinde uphinde uyisebenzise.
Matches zifihlakeleyo ngokungagqibekanga. Ukuba uphawula match yobuqu izakubonakala kuwo wonke umntu onekhonkco kwaye ingabonakala kwigalari yethu yobuqu. Ungapapashi match equlethe nantoni na efihlakeleyo.
Musa ukunika ulwazi oluzimeleyo malunga nabanye, izinto ezifihlakeleyo ongavunyelwanga ukuzinikezela, okanye imixholo engekho mthethweni.
4. Iimali ezihlawulwe
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
Ukuba udibanisa iqhosha lakho lokuqonda, uhlawulisa umboneleli wakho ngokuthe ngqo kwaye sihlawulisa ngaphandle kohlawula ngetokeni nganye. Emva konikezelo olukhululekileyo oluchaziweyo, ixabiso lenkqubo yokusebenza lisebenza ukugubungela ukusebenza kwepaneli, izixhobo kunye nokugcina.
Siyakwazi ukutshintsha ixabiso ngesaziso. Iinguqu aziyi kuxhomekeka kwimali-mboleko ethengiweyo.
5. Ukusetyenziswa okuvunyelweyo
Musa ukusebenzisa le nkonzo ukwenza imixholo ebangela ukuba abanye baphulukane, ukuzama ukutsala izilumkiso zethu okanye imiyalelo yenkqubo, ukujikeleza iindleko okanye umda wexabiso, okanye ukuthengisa kwakhona ukufikelela ngaphandle kwesivumelwano esibhaliweyo. Isixhobo sokusebenza kwekhowudi sisetyenziselwa ukuqinisekisa izicelo; musa ukuyisebenzisa ukuhlaselwa nayiphi na inkqubo.
6. Ukufikelela
Sixhomekeke kubathengi bemodeli yeqela lesithathu. Ababoneleli bawela phantsi, batshintsha imodeli, kwaye bashiya imodeli. I-match ephucukile ngenxa yesizathu nasiphi na silahliwe kwaye iphinde; asihlawulisi umsebenzi okungekho kwenzekayo. Asiqinisekisi unikezelo olungaphucukiyo, kwaye imodeli oyisebenzisayo ngaphambili ingasafumanekanga.
Uxanduva
Kwinqanaba elipheleleyo elivunyelweyo ligunya, iinkonzo zinikezelwa njengezifumanekayo ngaphandle kweegaranti zeyiphi na indidi. Uxanduva lwethu olupheleleyo lweempawu zikhawulezisa kwimali ohlawuleleyo kwiinyanga ezintathu ngaphambi kokuba iimpawu ziqale. Asibakho phantsi koxanduva lweempawu ezingabonakaliyo okanye ezilandelayo, kuquka naziphi na iimpawu ezivela ekuthembeni kwimodeli yokuphuma.
Ukuphelisa
Ungavala i-akhawunti yakho nangaliphi na ixesha; siya kubuyisela i-credit engasebenziswanga. Singazimisa ii-akhawunti eziphula ezi mithetho okanye ezibeka iinkonzo emngciphekweni.
9. Iintshintsho, uulwimi noqhagamshelwano
Siza kugqiba le miqathango; utshintsho olubalulekileyo luza kupapashwa kwiwebhusayithi.
Uguqulelo lwesiqulathi seefayili se-GNU/Linux lunikezelwa ukuze kusebenze kwaye luveliswe yi-machine. Xa uguqulelo lwesiqulathi seefayili kunye noguqulelo lwesiNgesi luhluka, uguqulelo lwesiNgesi lulawula.
Imibuzo: Qhagamshelana nathi.