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 odlučuje ispunjeni kriterij je izjava o dokazima u zapisu u tom meču. To nije jamstvo za ispravnost. AI modeli prave pogreške, pogrešno pročitati izvore, i može 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: obrada vaše podnošenje, prenijeti ga modelima davatelja koji ste odabrali, i pohraniti rezultati meča tako da možete vratiti na njega.
Utakmice su uobičajeno privatne. Ako označite utakmicu javnosti, ona postaje vidljiva svakome tko ima link i može se pojaviti u našoj javnoj galeriji. Ne objavljujte utakmicu koja 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 pogon utakmice. Svaki meč ima ograničenje troškova koje ste postavili; dostizanje ga pauzira utakmicu umjesto da nastavi trošenje. Bilance nisu prenosljive 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 ovisi o treće strane modela pružatelji. Ponuđači idu dolje, mijenjaju modele, i lišava ih. Meč 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.