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.
The referee ruling a criterion met is a statement about the evidence on record in that match. It is not a guarantee of correctness. AI models make mistakes, misread sources, and can fabricate citations despite instructions not to. You must independently verify anything you intend to rely on, particularly before publishing it, submitting it, or acting on it. This is a tool for pressure-testing work, not a substitute for qualified human review.
Ú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ýsledného match, aby si sa k nemu mohol vrátiť.
Matches are private by default. If you mark a match public it becomes visible to anyone with the link and may appear in our public gallery. Do not publish a match containing anything confidential.
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 pri prevádzke aplikácie matches. Každá aplikácia match má limit minúť, ktorý si nastavíte. Po dosiahnutí tohto limitu sa aplikácia match pozastaví a nebude pokračovať v míňaní. Zostatky sú neprenosné a po spotrebovaní sú nevratné, okrem prípadov, keď to vyžaduje zákon.
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. Model match, ktorý bol z akéhokoľvek dôvodu prerušený, je pozastavený a možno v ňom pokračovať. Neúčtujeme si poplatky za prácu, ktorá sa nevykonala. Nezaručujeme neprerušovanú dostupnosť a model, ktorý ste používali predtým, 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.