Uvjeti usluge
1. Što usluga radi
Podnosite zahtjev i standard. Mi ga provjeravamo pored panela od AI modela koje ste odabrali, plus sudija model koji pravilo o kriterijima prihvaćanja, a mi pokušavamo formalizirati rezultat u Lean 4 protiv Mathlib. Izlaz je transkripta, skup presuda, presuda, i gdje je formalizacija pokušaj, Lean rezultat.
2. Što je izlaz a nije
Izlaz je generiran od strane treće strane AI modela i nije savjet. To nije pravni, medicinski, financijski, inženjerski ili profesionalni savjet bilo koje vrste, i nijedan profesionalni odnos nije stvaran korištenjem ove usluge.
Sudac presude o ispunjenom kriteriju je izjava o dokazima zapisanih u tom match. To nije jamstvo ispravnosti. AI modeli čine pogreške, pogrešno pročitati izvore, i mogu izraditi citate unatoč uputama da ne. Morate neovisno potvrditi sve na što se namjeravate osloniti., posebno prije objavljivanja, podnošenja ili djelovanja na njega. To je alat za rad na testiranju tlaka, a ne zamjena za kvalificirane ljudske preglede.
Uspešna Lean formalizacija znači Lean jezgra prihvatio dokaz o izjavi koja je bila formalizirana, protiv verzije Mathlib upotrebi u to vrijeme. To ne znači da je izjava vjeran prijevod onoga što ste tražili, a odabir formalne izjave koja ne govori ono što ste mislili je najčešći način formalni rezultat zavarava. Pročitajte formalnu izjavu, ne samo presuda.
3. Vaš sadržaj
Vi zadržati vlasništvo na zahtjeve koje podnosite i na proizvod proizveden za vas. Vi nam samo dozvole potrebne za upravljanje usluga: obraditi vašu podnošenje, prenijeti ga modelima davatelja koji ste odabrali, i pohraniti rezultat match tako da možete vratiti na nju.
Matches su privatni. Ako označite match javnost, to postaje vidljivo svakome s linkom i može se pojaviti u našoj javnoj galeriji. Ne objavljujte match sadrži ništa povjerljivo.
Ne podnosite osobne podatke o drugima, povjerljivi materijal koji nemate pravo dijeliti ili sadržaj koji je nezakonit.
4. Zasluge i računi
Kredit je predplaćen i konzumiran kao matches trčanje. Svaki match ima ograničenje potrošnje koje ste postavili; dostizanje ga pauzira match umjesto da se nastavlja trošiti. Rashodi nisu prenosljivi i, osim ako je to potrebno zakonom, ne mogu se vratiti nakon konzumiranja. Neiskorišteni kredit se može vratiti na zahtjev.
Ako spojite vlastiti ključ za zaključak, plaćate pružatelja izravno i mi ne naplaćujemo po-taken naknadu. Prošli su navedeni besplatni dodatak naknada za infrastrukturu primjenjuje na pokrivanje pokreće ploče, alat i pohrana.
Možemo promijeniti cijene s obavijesti. Promjene se nikada ne primjenjuju na već kupljeni kredit.
5. Prihvatljiva primjena
Ne koristite uslugu za stvaranje sadržaja koji šteti drugima, pokušaj izvlačenja naših zahtjeva ili sustavnih uputa, zaobići ograničenja potrošnje ili stope, ili za ponovno prodaju pristupa bez pismenog sporazuma. Alat za izvršavanje koda je za provjeru zahtjeva; ne koristiti ga za napad na bilo koji sustav.
6. Dostupnost
Mi ovisimo o treće stranke modela pružateljima. Ponudnici idu dolje, mijenjaju modele, i deprecira ih. match prekinuto iz bilo kojeg razloga je pauza i pretpostavljiv; mi ne naplaćujemo za posao koji se nije dogodio. Mi ne garantiramo neprekinutu dostupnost, a model koji ste koristili prije može postati nedostupan.
7. Odgovornost
U najpotpunijem mjeri dopuštenoj zakonom, usluga je osigurana kao što je bez bilo kakvih jamstava. Naš ukupna odgovornost za bilo koju tvrdnju je ograničena na iznos koji ste nam platili u tri mjeseca prije nego što je zahtjev nastao. Mi nismo odgovorni za neizravne ili posljedične gubitke, uključujući i bilo koji gubitak proizlazeći od oslanjanja na proizvodni proizvod modela.
8. Prekid
Možete zatvoriti svoj račun u bilo koje vrijeme; mi ćemo vratiti neiskorišteni kredit. Možemo obustaviti račune koji krše ove uvjete ili koji dovode u opasnost uslugu.
9. Promjene, jezik i kontakt
Možemo ažurirati ove uvjete; materijalne promjene će biti najavljene na stranici.
Prijevodi ove stranice su osigurani za pogodnost i su stroj-proizvedeni. Gdje prijevod i engleska verzija razlikuju, engleska verzija upravlja.
Pitanja: Kontaktiraj nas.