Uvjeti korištenja
1. Šta služba radi
Pošaljete zahtjev i standard. Mi ga izvodimo kroz panel modela AI koje odaberete, plus model suca koji upravlja kriterijima prihvatljivosti, i pokušavamo formalizirati rezultat u Lean 4 protiv Mathlib. Izlaz je transkript, skup odluka, presuda, i gdje je formalizacija pokušana, Lean rezultat.
2. Šta je ishod a šta nije
Izlaz je generiran od strane modela treće strane AI i nije savjet. Nema pravnih, medicinskih, finansijskih, inženjerskih ili profesionalnih savjeta bilo koje vrste, niti se stvara profesionalni odnos korištenjem ove usluge.
Sudija koji odlučuje da je kriterij ispunjen je izjava o dokazima u zapisu u tom match. To nije garancija tačnosti. AI modeli čine greške, pogrešno čitaju izvore, i mogu izmisliti citate uprkos instrukcijama da to ne rade. Morate nezavisno provjeriti sve što namjeravate da se oslonite naOvo je alat za testiranje rada pod pritiskom, a ne zamjena za kvalificiranu ljudsku recenziju.
Uspješna Lean formalizacija znači da je Lean kernel prihvatio dokaz izjave koja je formalizirana, protiv verzije Mathlib koja se koristila u to vrijeme. To ne znači da je ta izjava vjeran prijevod onoga što ste tražili, a odabir formalne izjave koja ne kaže ono što ste mislili je najčešći način na koji formalni rezultat dovodi u zabludu. Pročitajte formalnu izjavu, ne samo presudu.
Vaš sadržaj
Zadržavate vlasništvo nad zahtjevima koje dostavljate i nad izlaznim podacima koji se proizvode za vas. Dajete nam samo licencu potrebnu za rad servisa: za obradu vašeg dostavljanja, za prijenos modela davaocima usluga koje ste odabrali, i za pohranu rezultatskog match tako da se možete vratiti na njega.
Matches su po zadanim postavkama privatni. Ako označite match javnim, on postaje vidljiv svakom sa linkom i može se pojaviti u našoj javnoj galeriji. Nemojte objavljivati match koji sadrži bilo šta povjerljivo.
Nemojte slati lične podatke o drugima, povjerljive materijale koje nemate pravo dijeliti, ili sadržaj koji je nezakonit.
Krediti i naplata
Kredit je unaprijed plaćen i troši se dok matches radi. Svaki match ima ograničenje potrošnje koje ste postavili; dostizanje tog ograničenja zaustavlja match umjesto da nastavlja trošiti. Saldo se ne može prenijeti i, osim ako to zahtijeva zakon, ne vraća se nakon potrošnje. Neiskorišteni kredit se vraća na zahtjev.
Ako povežete svoj vlastiti ključ za zaključivanje, platit ćete direktno svom davatelju usluga i ne naplaćujemo naknadu po token. Preko navedenog besplatnog iznosa primjenjuje se naknada za infrastrukturu za pokrivanje rada panela, alata i pohrane.
Možemo promijeniti cijene bez prethodne najave, ali promjene se ne odnose na već kupljene kredite.
Prihvatljiva upotreba
Nemojte koristiti servis za generiranje sadržaja koji šteti drugima, za pokušaj izvlačenja naših uputa ili instrukcija sistema, za zaobilaženje ograničenja potrošnje ili cijena, ili za preprodaju pristupa bez pisanog sporazuma. Alat za izvršavanje koda je za provjeru tvrdnji; nemoj ga koristiti za napad na bilo koji sistem.
Dostupnost
Mi zavisimo od davalaca modela treće strane. Davaoci se ruši, mijenjaju modele, i zastarevaju ih. match prekinut iz bilo kojeg razloga je pauzirao i nastavlja se; mi ne naplaćujemo za rad koji se nije desio. Mi ne jamčimo neprekinutu dostupnost, i model koji ste koristili prije može postati nedostupan.
Odgovornost
U najvećoj mjeri dopuštenoj zakonom, usluga se pruža onakva kakva jest bez garancija bilo koje vrste. Naša ukupna odgovornost za bilo koji zahtjev je ograničena na iznos koji ste nam platili u tri mjeseca prije nastanka zahtjeva. Mi nismo odgovorni za indirektne ili posljedične gubitke, uključujući bilo koji gubitak koji proizlazi iz oslanjanja na model izlaza.
Raskid
Možete zatvoriti svoj račun u bilo koje vrijeme; vratit ćemo neiskorišteni kredit. Možemo suspendirati račune koji krše ove uvjete ili koji stavljaju servis u opasnost.
9.Promjene, jezik i kontakt
Mi možemo ažurirati ove uvjete; materijalne promjene će biti objavljene na web stranici.
Prijevodi ove stranice su napravljeni radi praktičnosti i mašinski su proizvedene. Ako se prevod i engleska verzija razlikuju, engleska verzija je dominantna.
Pitanja: Kontaktiraj nas.