Hizmet Tertibi
1. Hizmet näme edýär
Siz bir talap we bir standarty iberýärsiňiz. Biz ony saýlan AI modelleriň panelinden geçýäris, plus kabul etmek kriteriýalary barada karar berýän bir hakim modeli, we biz netijäni Lean 4 bilen Mathlib arasynda resmileşdirmäge syn edýäris. Çykyş bir transkript, bir kararlar seti, bir karar, we resmileşdirmek synanyşan ýerinde, Lean netijedir.
2. Çykyş nädip we nädip däl
Çykyş üçünji tarap AI modelleri tarapyndan döredilipdir we maslahat däl. Bu hukuk, saglyk, maliýe, inženerçilik ýa-da professional maslahat däl we bu hyzmaty ulanmak bilen professional gatnaşyk döremez.
Reýderiň bir kriteriýa bilen gelşip gelen karary match-deki rekordda bar bolan delil barada bir beýanatdyr. Bu dogrylyk garantiýasy däl. AI modelleri hata eder, çeşmeleri ýalňyş okaýar we buýruklara garamazdan sözlemleri öwürip biler. Siz özbaşdak her bir zaty barlap bilersiňizBu, basyş-teslemek iş üçin bir esbap, adam gözden geçirişiň ornuna däl.
Bir Lean formalization başaran Lean kernel kabul eden bir subutnamany, Mathlib wersiýasyny ulanmak bilen, formalized edilen bir sözlem. Bu sözlem siziň soraýan zadyňyzyň dogry terjimesi diýmek däl, we siziň düşünýän zadyňyzy aýtmaýan formal sözlem saýlamak, formal netijeň iň köp ulanylýan ýoly. Formal sözlem oka, diňe karar däl.
3. Siziň mazmunyňyz
Siz beren arzalaryň we siziň üçin çykarylan çykdajylaryň eýeçiligini saklaň. Siz bize diňe hyzmaty işletmek üçin zerur lisenziýany beriň: beren arzaňyzy işlemek, ony saýlan model berijilerine geçirmek we netije match saklamak sebäbi siz ony gaýtalap bilersiňiz.
Matches-ler öň bellenen ýaly şahsydir. Eger siz match-i halkaly diýip nyşanlaýan bolsaňyz ol baglanyşyk bilen her kim üçin görnüp dur we biziň halkaly galerimizde görünip dur. match-i gizlin zatlary içeren çap etmeň.
Başgalar hakda şahsy maglumaty, paýlaşmaga hukugyň ýok bolan gizlin materiallary ýa-da kanunsyz mazmuny ibermäň.
Kreditler we hasap
Kreditler öňden tölenýär we matches işleýänçä sarp edilýär. Her match-iň siziň bellenýän sarp etmek çäklendirmesi bar; bu çäklendirmeye ýetmek match-i sarp etmekden saklaýar. Balanslar geçirip bolmaýandyr we, kanun tarapyndan talap edilen bolsa, sarp edilende gaýtarylyp bolmaýandyr. Ullanmadyk kreditler islendik talapda gaýtarylyp bilner.
Eger öz inference adyny baglaýan bolsaň, onda öz prowaýderiňe dogrydan töleg tölärsiň we biz her token üçin töleg tölemeris. Bu azatlykdan soňra bir infrastruktura tölegi paneli, esbaplary we saklamagy işletmek üçin ulanylar.
Biz bahalary habar bilen üýtgedip bileris. Bu üýtgemeler hiç wagt öňden alnan kreditlere täsir etmez.
Ulanyş
Bu hyzmaty başgalara zyýan ýetirýän mazmuny döretmek üçin, biziň soraglarymyzy ýa-da sistema görkezmelerimizi çykarmak üçin, sarp etmek ýa-da baha çäklendirmelerini geçmek üçin, ýa-da ýazmaça ylalaşyksyz elýeterliligi gaýtadan satmak üçin ulanmaň. Kod-ýükleýji esbaplar islegleri barlamak üçindir; hiç bir sistema hüjüm etmek üçin ony ulanmaň.
Elýeterli
Biz üçünji tarap model berijilerine bagly. Prowaýderler çökýär, modelleri üýtgedýär we olary öçürýär. Bir match her hili sebäpden kesildi, durduryldy we dowam etdirildi; biz bolmadyk iş üçin töleg almaýarys. Biz kesmesiz elýeterliligi garantiýa etmeýäris, we öňden ulanan model elýeterli bolmaz.
Ýol
Kanun tarapyndan ygtybar edilen iň uly ölçegde, hyzmat şu görnüşde we hiç hili kepillendirmesiz berlip dur. Her hili bir talap üçin biziň ähli jogapkärçiligimiz, size tölenýän mukdar bilen çäklenýär. Biz hiç hili nätakyk ýa-da netijeli zyýan üçin jogapkär dälis, model çykdajysyna ynanmakdan gelip çykan her hili zyýana girmeýäris.
_Ýakynlaşmak
Hasabyňyzy her wagt ýapyp bilersiňiz; biz ulanylmadyk krediti gaýtarýarys. Biz bu şertleri bozýan ýa-da hyzmaty howp astyna goýýan hasaplary ýatyryp bileris.
9. Diller we baglanyşyk
Biz bu şertleri täzeläp bileris; material üýtgemeler saýtda yglan edilýär.
Bu sahypanyň terjimeleri amatlylyk üçin berlip we maşyn tarapyndan işlenip taýýarlanyldy. Eger terjime we ingliz wersiýasy bir-birinden tapawutlansa, ingliz wersiýasy hökman bolar.
Soraglar: Bize baglaş.