Tjenestevilkår
1. Hvad tjenesten gør
Du indsender et krav og en standard. Vi kører det forbi et panel af AI modeller, du vælger, plus en dommer model, der regler om accept kriterier, og vi forsøger at formalisere resultatet i Lean 4 mod Mathlib. Udskriften er en udskrift, et sæt domme, en dom, og hvor formalisering blev forsøgt, Lean resultatet.
2. Hvad output er og er ikke
Output genereres af tredjeparts AI-modeller og er ikke rådgivning. Det er ikke juridisk, medicinsk, finansiel, teknisk eller professionel rådgivning af nogen art, og der skabes ingen professionelt forhold ved hjælp af denne service.
Dommeren der afgør et kriterium opfyldt, er en erklæring om beviserne i denne kamp. Det er ikke en garanti for korrekthed. AI modeller begår fejl, fejllæste kilder og kan skabe henvisninger på trods af instruktioner ikke at. Du skal uafhængigt kontrollere alt, hvad du har til hensigt at stole på, især før udgivelsen, indsendelse det, eller handle på det. Dette er et værktøj til tryk-testing arbejde, ikke en erstatning for kvalificeret menneskelig gennemgang.
En vellykket Lean formalisering betyder Lean kernen accepteret et bevis på den erklæring, der blev formaliseret, mod den version af Mathlib i brug på det tidspunkt. Det betyder ikke, at erklæring er en trofast oversættelse af, hvad du spurgte, og vælge en formel erklæring, der ikke siger, hvad du mente er den mest almindelige måde et formelt resultat vildleder. Læs den formelle erklæring, ikke kun dommen.
3. Dit indhold
Du beholder ejerskabet til de krav, du indsender, og til det output, der produceres for dig. Du giver os kun den licens, der er nødvendig for at drive tjenesten: at behandle din indsendelse, sende den til de modeludbydere, du har valgt, og gemme den resulterende match, så du kan vende tilbage til den.
Tændstikker er som standard private. Hvis du markerer en match- offentlig bliver den synlig for alle med linket og kan vises i vores offentlige galleri. Udgiv ikke en match, der indeholder noget fortroligt.
Du må ikke indsende personoplysninger om andre, fortroligt materiale, du ikke har ret til at dele, eller indhold, der er ulovligt.
4. Medvirkende og fakturering
Kredit er forudbetalt og forbruges som kampe køre. Hver kamp har en udgiftsgrænse du sætter; når det pauser kampen i stedet for at fortsætte med at bruge. Balancer er ikke transferable og, medmindre det kræves i henhold til loven, ikke-refunderbare når det er forbrugt. Ubrugt kredit kan refunderes på anmodning.
Hvis du tilslutter din egen inferencenøgle, betaler du din udbyder direkte, og vi fakturerer ikke per-token gebyr. Forbi den angivne gratis kvote gælder et infrastrukturgebyr for at dække driften af panelet, værktøjer og opbevaring.
Vi kan ændre priser med varsel. Ændringer gælder aldrig for kredit allerede købt.
5. Acceptabel anvendelse
Brug ikke tjenesten til at generere indhold, der skader andre, til at forsøge at udtrække vores prompter eller systeminstruktioner, til at omgå udgifterne eller satsgrænser, eller til at videresælge adgang uden en skriftlig aftale. Kode-udførelse værktøjet er til at kontrollere påstande; ikke bruge det til at angribe noget system.
6. Tilgængelighed
Vi er afhængige af tredjeparts modeludbydere. Udbydere går ned, ændre modeller, og deprecate dem. En match afbrudt af en eller anden grund er pauset og genanvendelig; vi ikke opkræve for arbejde, der ikke sker. Vi garanterer ikke uafbrudt tilgængelighed, og en model, du brugte før kan blive utilgængelig.
7. Ansvar
I det omfang det er tilladt ved lov, ydes tjenesten som uden nogen form for garantier. Vores samlede ansvar for ethvert krav er begrænset til det beløb, du betalte os i de tre måneder, før kravet opstod. Vi er ikke ansvarlige for indirekte eller følgeskader, herunder tab som følge af afhængighed af model output.
8. Ophør
Du kan til enhver tid lukke din konto; vi vil tilbagebetale ubrugt kredit. Vi kan suspendere konti, der overtræder disse vilkår eller som bringer tjenesten i fare.
9. Ændringer, sprog og kontakt
Vi kan opdatere disse vilkår; væsentlige ændringer vil blive annonceret på webstedet.
Oversættelser af denne side er beregnet til bekvemmelighed og er maskin-produceret. Hvor en oversættelse og den engelske version er forskellige, den engelske version regulerer.
Spørgsmål: Kontakt os.