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 presudi da je kriterij ispunjen je izjava o dokazima u zapisu u toj utakmici. To nije garancija ispravnosti. 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 pošaljete i nad izlaznim podacima koji su proizvedeni za vas. Dajete nam samo dozvolu potrebnu za rad servisa: za obradu vašeg zahtjeva, za prijenos modela pružateljima usluga koje ste odabrali, i za pohranu rezultatskog podudaranja tako da se možete vratiti na njega.
Uobičajeno, utakmice su privatne. Ako označite utakmicu kao javnu, ona postaje vidljiva svakome sa linkom i može se pojaviti u našoj javnoj galeriji. Nemojte objavljivati utakmicu koja 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 tokom mečeva. Svaki meč ima ograničenje potrošnje koje postavite; dostizanje tog ograničenja prekida meč umjesto da se 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 odbacuju ih. Podudaranje prekinuto iz bilo kojeg razloga je pauzirano 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.