Szolgáltatási feltételek
1. Mit tesz a szolgálat
Ön egy követelést és egy szabványt nyújt be. Mi futtatjuk le egy panelen keresztül az Ön által kiválasztott MI modellekről, plusz egy bíró modellről, amely az elfogadási kritériumokra vonatkozik, és megpróbáljuk formába önteni a Lean 4-es eredményt Mathlib-es ellen. A kimenet egy átirat, egy sor döntés, ítélet, és ahol formalizálást kíséreltek meg, a Lean eredmény.
2. Mi a kimenet, és nem
A kimenetet harmadik fél AI-modellek generálják, és nem tanácsadás. Ez nem jogi, orvosi, pénzügyi, mérnöki vagy szakmai tanácsadás semmilyen, és nem szakmai kapcsolat jön létre a szolgáltatás használatával.
A bíró egy kritérium teljesül egy nyilatkozatot a bizonyíték a nyilvántartásban a mérkőzés. Ez nem garancia a korrektség. AI modellek hibákat, rosszul olvasott források, és lehet kitalálni idézések ellenére utasítások nem. Függetlenül ellenőriznie kell mindent, amire támaszkodni kíván.Ez a nyomásvizsgálat eszköze, nem pedig a szakképzett emberi felülvizsgálat helyettesítője.
A Lean-féle formalizálás sikeressége azt jelenti, hogy a Lean-mag elfogadta a hivatalossá tett nyilatkozat bizonyítékát, ellenben a Mathlib-es verzióval. Ez nem jelenti azt, hogy a nyilatkozat hű fordítása annak, amit kért, és egy hivatalos nyilatkozat kiválasztása, amely nem azt mondja, amit a leggyakrabban használt, a hivatalos eredmény félrevezetése. Olvassa el a hivatalos nyilatkozatot, nem csak az ítéletet.
3. A tartalom
Ön fenntartja a saját tulajdonát az Ön által benyújtott igényeknek és az Ön számára előállított teljesítménynek. Csak a szolgáltatás működtetéséhez szükséges licencet adja meg nekünk: feldolgozza a szolgáltatás benyújtását, továbbítja a kiválasztott modellszolgáltatóknak, és tárolja az eredményül kapott meccset, hogy visszatérhessen hozzá.
A mérkőzések alapértelmezés szerint privátak. Ha egy mérkőzést jelölsz meg, az bárki számára láthatóvá válik a linken keresztül, és a nyilvános galériában is megjelenhet. Ne publikálj egy mérkőzést, ami bizalmas.
Ne adjon be másról személyes adatokat, bizalmas anyagokat, amelyeket nem oszthat meg, vagy jogellenes tartalmat.
4. Hitelek és számlázás
A hitel előre fizetendő, és fogyasztják, mint mérkőzések fut. Minden mérkőzés rendelkezik egy kiadási limitet meghatározott; elérése szünetel a mérkőzést, ahelyett, hogy továbbra is költ. Mérlegek nem átruházható, és kivéve, ha a törvény előírja, nem visszaváltható egyszer elfogyasztott. Felhasználatlan hitel visszaigényelhető.
Ha Ön saját következtetési kulcsot köt össze, közvetlenül fizet a szolgáltatónak, és nem számolunk ki egy adott összeget. A megadott ingyenes juttatás után az infrastruktúra díja a panel, eszközök és tárolás futtatására vonatkozik.
A változások soha nem vonatkoznak a már megvásárolt hitelre.
5. Elfogadható felhasználás
Ne használja a szolgáltatást, hogy olyan tartalmat generáljon, amely másoknak árt, hogy megpróbálja kivonni a parancsainkat vagy a rendszer utasításait, hogy megkerülje a kiadási vagy árfolyam-korlátokat, vagy hogy írásos megállapodás nélkül értékesítse a hozzáférést. A kód-végrehajtási eszköz a követelések ellenőrzésére szolgál; ne használja fel semmilyen rendszer megtámadására.
6. Elérhetőség
A szolgáltató lemegy, modelleket cserél, és leméri őket. A megszakított mérkőzés szünetel és visszakövethető; nem számítunk fel olyan munkát, amely nem történt meg. Nem garantáljuk a folyamatos rendelkezésre állást, és egy korábban használt modell nem lesz elérhető.
7. Felelősség
A törvény által megengedett legteljesebb mértékben a szolgáltatás nyújtása, mint bármilyen garancia nélkül történik. Az összes követelésünk az igény felmerülését megelőző három hónapban fizetett összegre korlátozódik. Nem vállalunk felelősséget közvetett vagy következményes veszteségért, beleértve a modell kimenetéből eredő veszteséget.
8. A megszüntetés
Ön bármikor lezárhatja fiókját; vissza fogjuk téríteni a fel nem használt hitelt. Felfüggeszthetjük a számlákat, amelyek megsértik ezeket a feltételeket, vagy amelyek a szolgáltatást veszélyeztetik.
9. Változások, nyelv és kapcsolat
Frissíthetjük ezeket a feltételeket; az anyagváltozásokat bejelentjük a helyszínen.
Az oldal fordításai kényelmet biztosítanak, és gépi gyártásban is szerepelnek. Ahol a fordítás és az angol változat eltér, az angol változat szabályozza.
Kérdések: Kapcsolat.