Skilmálar þjónustunnar
1. Hvað þjónustan gerir
Þú sendir inn kröfu og staðal. Við keyrum það framhjá spjaldið AI líkan sem þú velur, auk dómara líkan sem ræður við viðurkenningarviðmið og við reynum að formlega niðurstöðu í Lean 4 gegn Mathlib. Úttak er afritun, sett af ákvörðunum, dóm og þar sem formgerð var reynt, Lean niðurstöðu.
2. Hvað framleiðsla er og er ekki
Framleiðsla er búin til af AI módelum þriðja aðila og er ekki ráðgjöf. Það er ekki lagaleg, læknisfræðileg, fjárhagsleg, verkfræðileg eða fagleg ráðgjöf af neinu tagi og engin fagleg tengsl eru búin til með því að nota þessa þjónustu.
Dómarinn sem dæmir um hvort viðmið sé uppfyllt er með því að segja frá því sem hann hefur séð í leiknum en það er ekki ábyrgð á réttmæti niðurstöðunnar. Gervigreindarlíkön gera mistök, misskilja heimildir og geta búið til tilvitnanir þrátt fyrir að þeim sé sagt að gera það ekki. Þú verður að sjálfstætt staðfesta allt sem þú ætlar að treysta áÞetta er tól til að prófa vinnuna, ekki í staðinn fyrir hæfa mannlega endurskoðun, en það er mikilvægt að þú lesir það vandlega áður en þú birtir það, sendir það eða vinnur eftir því.
Lean formalisation sem tókst þýðir að Lean kjarninn samþykkti sönnun fyrir fullyrðingunni sem var formalized, gegn útgáfu Mathlib sem var í notkun á þeim tíma. Það þýðir ekki að fullyrðingin sé nákvæm þýðing á því sem þú spurðir um, og að velja formlega fullyrðingu sem segir ekki hvað þú átt við er algengasta leiðin til að formleg niðurstaða villi. Lestu formlega fullyrðingu, ekki aðeins dóminn.
3. Efnið þitt
Þú heldur eignarrétti á kröfum sem þú sendir inn og á útkomu sem framleidd er fyrir þig.Þú veitir okkur aðeins leyfi sem þarf til að starfrækja þjónustuna: að vinna úr kröfum þínum, senda þær til fyrirmyndarveitenda sem þú valdir og geyma samsvörunina sem myndast svo þú getir snúið aftur til þeirra.
Samsvörun er sjálfgefið einkamál. Ef þú merktir samsvörun opinbera verður hún sýnileg öllum sem hafa tengilinn og getur birst í opinberu galleríi okkar. Ekki birta samsvörun sem inniheldur eitthvað trúnaðarmál.
Ekki senda inn persónuupplýsingar um aðra, trúnaðarefni sem þú hefur ekki rétt á að deila eða efni sem er ólöglegt.
4. Credits og innheimtu
Kredit er fyrirframgreitt og er notað þegar leikir eru í gangi. Hver leikur hefur eyðsla takmörk sem þú setur; að ná því gerir hlé á leiknum frekar en að halda áfram að eyða. Innistæður eru ekki framseljanlegar og, nema þar sem lög krefjast, eru ekki endurgreiddar þegar þær eru notaðar. Ónotaðar kredit eru endurgreiddar á beiðni.
Ef þú tengir eigin ályktunarlykil greiðir þú þjónustuveitanda þínum beint og við reiknum ekki fyrir hvern tákn. Eftir uppgefinn ókeypis heimild gildir innviðagjald til að ná til reksturs spjaldsins, verkfæra og geymslu.
Við kunnum að breyta verði með fyrirvara. Breytingar eiga aldrei við um lánsfé sem þegar hefur verið keypt.
5. Viðunandi notkun
Ekki má nota þjónustuna til að búa til efni sem skaðar aðra, til að reyna að ná í kveikjur okkar eða kerfisleiðbeiningar, til að komast hjá útgjöldum eða takmörkunum á gjaldskrá eða til að endurselja aðgang án skriflegs samnings. Tólið til að keyra kóða er til að staðfesta kröfur. Ekki má nota það til að ráðast á kerfi.
6. Aðgengi
Við treystum á þriðju aðila sem veita líkan. Þjónustuveitendur falla niður, breyta líkanum og hætta að nota þá. Samsvörun sem er stöðvuð af einhverri ástæðu er stöðvuð og hægt að halda áfram; við rukka ekki fyrir vinnu sem ekki gerðist. Við ábyrgjumst ekki ótruflaðan aðgang og líkan sem þú notaðir áður gæti orðið óaðgengilegt.
7. Ábyrgð og ábyrgð
Að því marki sem lög leyfa er þjónustan veitt eins og hún er án ábyrgðar af neinu tagi. Heildarábyrgð okkar vegna hverrar kröfu takmarkast við upphæðina sem þú greiddir okkur á þremur mánuðum áður en krafan varð til. Við berum ekki ábyrgð á óbeinu eða afleiddu tjóni, þar á meðal tjóni sem stafar af því að treysta á útkomu líkansins.
Uppsögn
Þú getur lokað reikningnum þínum hvenær sem er. Við endurgreiðum ónotaða innborgun. Við kunnum að loka reikningum sem brjóta gegn þessum skilmálum eða sem koma þjónustunni í hættu.
9. Breytingar, tungumál og tengiliðir
Við kunnum að uppfæra þessa skilmála; efnislegar breytingar verða tilkynntar á vefsvæðinu.
Þýðingar á þessari síðu eru veittar til þæginda og eru vélgerðar.Þar sem þýðing og enska útgáfan eru ólíkar gildir enska útgáfan.
Spurningar: Hafðu samband við okkur.