Podmínky služby
1. Co služba dělá
Předložíte nárok a standard. Projedeme ho přes panel modelů AI, které vyberete, plus rozhodčí model, který určuje kritéria pro přijetí, a pokusíme se o formalizaci výsledku v Lean 4 proti Mathlib. Výstup je přepis, soubor rozhodnutí, verdikt, a tam, kde byla formalizace pokusu o formalizaci, Lean výsledek.
2. Co je výstup a není
Výstup je generován modely třetích stran AI a není to rada. Není to právní, lékařské, finanční, technické nebo profesionální poradenství jakéhokoli druhu, a žádný profesní vztah není vytvořen pomocí této služby.
Rozhodčí, které je splněno kritérium, je prohlášení o důkazech v záznamu v tomto zápase. Není zárukou správnosti. Modely AI dělají chyby, špatně čte zdroje a mohou si vymýšlet citace navzdory pokynům, které nemají. Musíte nezávisle ověřit vše, na co se chcete spolehnout., zejména před zveřejněním, předložením nebo jednáním na něm. Jedná se o nástroj pro tlakovou testování práce, nikoli náhrada za kvalifikované lidské přezkoumání.
Úspěšná lean formalizace znamená, že Lean jádro přijal důkaz prohlášení, které bylo formalizováno, proti verzi Mathlib v použití v té době. To neznamená, že prohlášení je věrný překlad toho, co jste žádal, a výběr formální prohlášení, které neříká, co jste myslel, je nejčastější způsob, jak formální výsledek klamat. Přečtěte si formální prohlášení, a to nejen verdikt.
3. Váš obsah
Držíte si vlastnictví pohledávek, které předkládáte, a výstupu, který jste pro vás vyrobili. Udělujete nám pouze licenci potřebnou k provozování služby: zpracovat Vaše podání, předat jej modelovým poskytovatelům, které jste vybrali, a uložit výsledný zápas, abyste se k němu mohli vrátit.
Zápasy jsou soukromé ve výchozím nastavení. Pokud označíte zápas veřejnosti, stává se viditelným pro každého s odkazem a může se objevit v naší veřejné galerii. Nepublikujte zápas obsahující nic důvěrného.
Nepředkládejte osobní údaje o ostatních, důvěrných materiálech, které nemáte právo sdílet, nebo obsah, který je nezákonný.
4. Kredity a fakturace
Kredit je předplacen a je konzumován jako zápasy běh. Každý zápas má výdajový limit, který jste stanovili; dosažení jej zastaví zápas spíše než pokračuje v útratě. Zůstatky nejsou převoditelné a, kromě případů, kdy je to vyžadováno zákonem, jsou nevratné, jakmile konzumuje. Nevyužitý úvěr je vratitelný na požádání.
Pokud připojíte svůj vlastní odvozovací klíč, zaplatíte přímo svému poskytovateli a my si neúčtujeme žádný poplatek za každý z nich. Za stanovený bezplatný příspěvek se poplatek za infrastrukturu vztahuje na chod panelu, nástrojů a úložiště.
S oznámením můžeme změnit ceny. Změny se nikdy nevztahují na již zakoupené úvěry.
5. Přijatelné použití
Nepoužívejte službu k vytváření obsahu, který poškozuje ostatní, k pokusu o získání našich pokynů nebo systém, k obcházení výdajových nebo úrokových limitů, nebo k dalšímu přístupu bez písemné dohody. Nástroj pro provádění kódů je pro ověřování tvrzení; nepoužívejte ji k útoku na žádný systém.
6. Dostupnost
Jsme závislí na poskytovatelích modelů třetích stran. Poskytovatelé jdou dolů, mění modely a depretovat je. Zápas přerušený z jakéhokoli důvodu je odmlčen a znovu spotřebovatelný; neúčtujeme za práci, která se nestala. Nezaručujeme nepřetržitou dostupnost a model, který jste použili dříve, může být nedostupný.
7. Odpovědnost
V nejvyšším rozsahu povoleném zákonem je služba poskytována bez jakýchkoliv záruk. Naše celková odpovědnost za jakoukoliv nárok je omezena na částku, kterou jste nám zaplatili ve třech měsících před vznikem nároku. Neneseme odpovědnost za nepřímou nebo následnou ztrátu, včetně ztráty vyplývající ze závislosti na modelu výstupu.
8. Ukončení
Můžete kdykoliv uzavřít svůj účet; my vám vrátíme nevyužité úvěry. Můžeme pozastavit účty, které porušují tyto podmínky nebo které ohrožují službu.
9. Změny, jazyk a kontakt
Tyto podmínky můžeme aktualizovat; na webu budou vyhlášeny materiální změny.
Překlady této stránky jsou poskytovány pro pohodlí a jsou strojově vyráběné. Pokud se překlad a anglická verze liší, anglická verze vládne.
Otázky: Kontaktujte nás.