Pogoji uporabe
1. Kaj stori služba
Predlagate zahtevek in standard. Preverjamo ploščo modelov AI, ki ste jih izbrali, plus sodnik model, ki pravilo o merilih sprejemanja, in poskušamo formalizirati rezultat Lean 4 proti Mathlib. Izstop je transkript, niz sodb, razsodbe, in kjer je bila formalnost poskusljena, rezultat Lean.
2. Kaj je izhod in ni
Izid je nastal s tretjimi modeli AI in ni nasvet. Ni pravno, zdravstveno, finančno, inženirsko ali poklicno svetovanje katere koli vrste, in noben poklicni odnos ni ustvarjen s to storitev.
Sodnik odloča o izpolnjenem merilu je izjava o dokazih, ki so zapisani v tej match. To ni jamstvo za pravilnost. AI modeli delajo napake, napačno razumevanje virov, in lahko izdelajo citate kljub navodilom, da ne. Neodvisno preverite vse, na kar se nameravate zanašati.To je orodje za testiranje pritiska, ne pa nadomestilo za kvalificirano človeško oceno.
Uspešna formalnost Lean pomeni, da je jedro Lean sprejelo dokazilo, ki je bila formalizirana, proti različici Mathlib, ki se je uporabljala takrat. To ne pomeni, da je izjava zvesta prevod tega, kar ste zahtevali, in izbira formalne izjave, ki ne govori, kar ste mislili je najpogostejši način formalni rezultat zavaja. Preberite formalno izjavo, ne le razsodbo.
3. Vaša vsebina
Obdržite lastniškost zahtevkov, ki jih predložite, in rezultatov, ki so bili proizvedeni za vas. Podelite nam le dovoljenje, potrebno za upravljanje storitve: za obdelavo svoje predložitve, ga posredujete izbranim modelom in shranite rezultat match, da se lahko vrnete k njej.
Matches so privzeto zasebno. Če označite match javnost, postane vidna vsem, ki imajo povezavo, in se lahko pojavijo v naši javni galeriji. Ne objavite match, ki vsebuje ničesar zaupnega.
Ne predloži osebnih podatkov o drugih, zaupnem gradivu, ki ga nimate pravice deliti, ali vsebini, ki je nezakonita.
4. Kreditnosti in obračunavanje
Kredit je predplačan in se porabi kot matches tečaj. Vsak match ima določeno omejitev porabe; doseganje njegovega prestanka match namesto daljše porabe. Stanja niso prenosljiva in, razen če je to potrebno zakonodajno, so nepovratna enkrat porabljena. Neuporabljeni kredit je povrnjen na zahtevo.
Če povezujete svoj lastni ključ zaključka, plačate ponudnik neposredno in ne računamo za zaračunavanje na token. Prek navedene brezplačne dodatke pristojbina infrastrukture velja za pokritje vodenje plošče, orodja in skladiščenje.
Cene lahko spremenimo z obvestilom. Spremembe se nikoli ne uporabljajo za že kupljeno kreditno karto.
5. Sprejemljiva uporaba
Ne uporabljajte storitve za ustvarjanje vsebine, ki škoduje drugim, za poskus pridobivanja naših navedb ali navodil sistema, za izogibanje mejam porabe ali stopnje, ali za ponovno prodajo dostopa brez pisnega sporazuma. Orodje za izvrševanje kode je za preverjanje zahtevkov; ne uporabljajte ga za napad na noben sistem.
6. Razpoložljivost
Odvisni smo od ponudnikov modelov tretjih strani. Ponudniki gredo dol, spremenijo modele in jih zmanjšujejo. match prekinjenih iz katerega koli razloga je prekinjeno in ponovno možno; ne zaračunavamo dela, ki se ni zgodilo. Ne jamčimo neprekinjene razpoložljivosti, in model, ki ste ga uporabili prej, lahko postane na voljo.
7. Odgovornost
V največji možni meri, ki jo dopušča zakon, je storitev zagotovljena, kot je brez kakršnih koli jamstev. Naša skupna odgovornost za vsako zahtevo je omejena na znesek, ki ste nam ga plačali v treh mesecih pred nastanek zahtevka. Nismo odgovorni za posredno ali posledično izgubo, vključno z izgubo, ki izhaja iz zanašanja na modelni proizvod.
8. Odpoved
Lahko kadarkoli zaprete račun; povrnili bomo neuporabljeno kreditno kartico. Lahko začasno prekinemo račune, ki kršijo te pogoje ali ogrožajo storitev.
9. Spremembe, jezik in stik
Lahko posodobimo te pogoje; bistvene spremembe bodo napovedane na spletni strani.
Prevodi te strani so za udobje in so strojno proizvedeni. Kadar prevod in angleška različica se razlikuje, angleška različica ureja.
Vprašanja: Kontaktiraj nas.