Podmienky používania
1. Čo služba robí
Po predložení tvrdenia a štandardu ho prebehneme cez panel modelov AI, ktoré si vyberiete, plus referenčný model, ktorý rozhoduje o akceptačných kritériách, a pokúsime sa formalizovať výsledok v Lean 4 proti Mathlib. Výstupom je prepis, súbor rozhodnutí, verdikt a tam, kde sa pokúsili o formalizáciu, Lean výsledok.
2. Čo je a čo nie je výstupom
Výstup je generovaný modelmi AI tretích strán a nie je poradenstvom. Nepredstavuje právne, lekárske, finančné, technické alebo odborné poradenstvo akéhokoľvek druhu a používaním tejto služby sa nevytvára žiadny profesionálny vzťah.
Rozhodca, ktorý rozhodne o splnení kritéria, je len výrokom o dôkazoch v zázname zápasu, nie je to záruka správnosti. Modely umelej inteligencie robia chyby, nesprávne čítajú zdroje a môžu vytvárať citácie napriek pokynom, aby tak nerobili. Musíte nezávisle overiť všetko, na čo sa chcete spoľahnúťToto je nástroj na testovanie práce pod tlakom, nie náhrada za kvalifikovanú ľudskú kontrolu, preto sa odporúča, aby ste si prečítali a posúdili všetky informácie, ktoré ste dostali.
Úspešná formalizácia Lean znamená, že Lean jadro prijalo dôkaz formalizovaného výroku proti verzii Mathlib, ktorá bola v tom čase používaná. Neznamená to, že výrok je verným prekladom toho, čo ste žiadali, a výber formálneho výroku, ktorý nehovorí to, čo ste mysleli, je najčastejším spôsobom, ako formálny výsledok zavádza. Prečítajte si formálny výrok, nie len verdikt.
3. Váš obsah
Ponechávaš si vlastníctvo nárokov, ktoré odošleš a výstupov, ktoré pre teba vytvoríme.Udeľuješ nám len licenciu potrebnú na prevádzkovanie služby: na spracovanie tvojho podania, jeho prenos poskytovateľom modelov, ktorých si si vybral, a uloženie výslednej zhody, aby si sa k nej mohol vrátiť.
Zápasy sú štandardne súkromné, ak ich označíte ako verejné, budú viditeľné pre každého, kto má odkaz a môžu sa objaviť v našej verejnej galérii. Nezverejňujte zápasy, ktoré obsahujú niečo dôverné.
Neposielajte osobné údaje o iných osobách, dôverné materiály, ktoré nemáte právo zdieľať, ani obsah, ktorý je nezákonný.
4. Kredity a fakturácia
Kredit je predplatený a spotrebúva sa počas zápasov. Každý zápas má limit minúť, ktorý si nastavíte; po dosiahnutí tohto limitu sa zápas pozastaví a nebude sa ďalej míňať. Zostatok je neprenosný a okrem prípadov, keď to vyžaduje zákon, je po spotrebovaní nevratný.
Ak pripojíte vlastný kľúč, zaplatíte priamo poskytovateľovi a my vám nebudeme účtovať žiadny poplatok za token.Po prekročení uvedeného bezplatného príspevku sa uplatňuje poplatok za infraštruktúru na pokrytie prevádzky panelu, nástrojov a úložiska.
Ceny môžeme zmeniť bez predchádzajúceho upozornenia, zmeny sa však nikdy nevzťahujú na už zakúpený kredit.
5. Prijateľné použitie
Nepoužívajte službu na vytváranie obsahu, ktorý poškodzuje ostatných, na pokus o získanie našich výziev alebo systémových pokynov, na obchádzanie limitov výdavkov alebo cien ani na opätovný predaj prístupu bez písomnej dohody. Nástroj na spúšťanie kódu slúži na overenie tvrdení. Nepoužívajte ho na útok na žiadny systém.
6. Dostupnosť a dostupnosť
Sme závislí od poskytovateľov modelov tretích strán. Poskytovatelia zlyhávajú, menia modely a zastarávajú ich. Zhoda prerušená z akéhokoľvek dôvodu sa pozastaví a môže sa obnoviť; neúčtujeme si za prácu, ktorá sa nevykonala. Nezaručujeme neprerušenú dostupnosť a model, ktorý ste predtým používali, môže byť nedostupný.
7. Zodpovednosť za škodu
Naša celková zodpovednosť za akékoľvek nároky je obmedzená na sumu, ktorú ste nám zaplatili v priebehu troch mesiacov pred vznikom nároku. Nenesieme zodpovednosť za nepriame alebo následné straty, vrátane akejkoľvek straty vyplývajúcej zo spoliehania sa na výstup modelu, a nemôžeme byť zodpovední za žiadne straty, ktoré vzniknú v dôsledku nesprávneho použitia alebo nesprávneho použitia našich služieb.
8. Ukončenie zmluvy
Svoje konto môžete kedykoľvek zrušiť. Nevyužitý kredit vám vrátime. Môžeme pozastaviť účty, ktoré porušujú tieto podmienky alebo ohrozujú službu.
9. Zmeny, jazyk a kontakt
Tieto podmienky môžeme aktualizovať; podstatné zmeny budú oznámené na stránke.
Preklady tejto stránky sú poskytované pre pohodlie a sú strojovo vytvorené.Ak sa preklad a anglická verzia líšia, anglická verzia je rozhodujúca.
Otázky: Kontaktujte nás.