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ý rozhoduje o splnění kritéria, je prohlášení o důkazech v záznamu v tom match. Není zárukou správnosti. AI modely dělají chyby, špatně přečetl zdroje, a může vymyslet citace navzdory pokynům, aby. 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
Uchováte si vlastnictví nároků, 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 vybraným poskytovatelům modelu a uložit výsledných match tak, abyste se k němu mohli vrátit.
Matches jsou soukromé ve výchozím nastavení. Pokud označíte match veřejnost, stává se viditelným pro každého s odkazem a může se objevit v naší veřejné galerii. Nezveřejňujte match 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 spotřebován jako matches run. Každý match má výdajový limit, který jste stanovili; dosažení jeho pauzy match spíše než pokračovat v útratě. Zůstatky nejsou převoditelné a, s výjimkou případů, kdy je to vyžadováno zákonem, jsou nevratné, jakmile konzumuje. Nevyužitý úvěr je vratný 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ěnit modely a depretovat je. match přerušen z jakéhokoli důvodu je odmlčen a znovu splatný; 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.