Voorwaarden voor de betekening of kennisgeving
1. Wat de dienst doet
Je legt een claim en een standaard voor. We voeren het uit langs een panel van AI modellen die je selecteert, plus een scheidsrechter model dat regels geeft over acceptatiecriteria, en we proberen het resultaat te formaliseren in Lean 4 tegen Mathlib. De output is een transcript, een set van uitspraken, een uitspraak, en waar formalisering werd geprobeerd, het Lean resultaat.
2. Wat de uitvoer is en niet is
Output wordt gegenereerd door derde-partij AI modellen en is geen advies. Het is geen juridisch, medisch, financieel, technisch of professioneel advies van welke aard dan ook, en er wordt geen professionele relatie gecreëerd door gebruik te maken van deze dienst.
De scheidsrechter die een criterium heeft waaraan is voldaan is een verklaring over het bewijs in die match. Het is geen garantie van juistheid. AI modellen maken fouten, verkeerd gelezen bronnen, en kan citaten fabriceren ondanks instructies om niet te maken. U moet alles controleren waar u op wilt vertrouwen.Dit is een instrument voor druktestwerk, geen vervanging voor gekwalificeerde menselijke toetsing.
Een succesvolle Lean formalisering betekent dat de Lean kernel een bewijs van de verklaring die werd geformaliseerd, tegen de versie van Mathlib in gebruik op dat moment aanvaard. Het betekent niet dat de verklaring is een trouwe vertaling van wat je vroeg, en het kiezen van een formele verklaring die niet zegt wat je bedoelde is de meest voorkomende manier een formeel resultaat misleidt. Lees de formele verklaring, niet alleen de uitspraak.
3. Uw inhoud
U behoudt de eigendom van de claims die u indient en van de output die voor u wordt geproduceerd. U verleent ons alleen de licentie die nodig is om de dienst te bedienen: om uw inzending te verwerken, door te sturen naar de modelproviders die u hebt geselecteerd, en de resulterende match op te slaan zodat u kunt terugkeren naar het.
De wedstrijden zijn standaard privé. Als u een match publiek markeert wordt het zichtbaar voor iedereen met de link en kan verschijnen in onze publieke galerij. Publiceer geen match met iets vertrouwelijks.
Niet persoonsgegevens over anderen, vertrouwelijk materiaal dat u niet mag delen of inhoud die onwettig is, indienen.
4. Dankbetuigingen en facturering
Krediet wordt vooraf betaald en wordt verbruikt als wedstrijden uitgevoerd. Elke wedstrijd heeft een bestedingslimiet die u hebt ingesteld; het bereiken ervan pauzeert de wedstrijd in plaats van door te gaan met uitgeven. Balances zijn niet overdraagbaar en, tenzij wettelijk vereist, zijn niet-restitueerbaar zodra verbruikt. Ongebruikt krediet is restitueerbaar op verzoek.
Als u uw eigen sleutel voor uw gevolggeving verbindt, betaalt u uw provider direct en wij factureren geen kosten per token. Voorbij de opgegeven gratis vergoeding geldt een infrastructuurvergoeding voor het uitvoeren van het paneel, gereedschap en opslag.
Wij kunnen prijzen wijzigen met kennisgeving. Wijzigingen nooit van toepassing op krediet reeds gekocht.
5. Aanvaardbaar gebruik
Gebruik de service niet om inhoud te genereren die anderen schade toebrengt, om te proberen onze aanwijzingen of systeeminstructies uit te pakken, om de uitgaven- of tarieflimieten te omzeilen, of om toegang door te verkopen zonder een schriftelijke overeenkomst. Het code-executiehulpmiddel is om claims te verifiëren; gebruik het niet om een systeem aan te vallen.
6. Beschikbaarheid
We zijn afhankelijk van derde-partij model providers. Providers gaan naar beneden, veranderen modellen, en depreceren ze. Een match onderbroken om welke reden dan ook is gepauzeerd en resumpeerbaar; we rekenen geen kosten voor werk dat niet gebeurde. Wij garanderen niet ononderbroken beschikbaarheid, en een model dat u eerder gebruikt kan niet beschikbaar worden.
7. Aansprakelijkheid
Voor zover wettelijk toegestaan, wordt de dienst geleverd zoals dat zonder enige garantie is. Onze totale aansprakelijkheid voor een vordering is beperkt tot het bedrag dat u ons betaalde in de drie maanden voordat de vordering ontstond. Wij zijn niet aansprakelijk voor indirecte of gevolgschade, inclusief verlies als gevolg van het vertrouwen op de uitvoer van het model.
8. Beëindiging
U kunt uw rekening op elk moment sluiten; wij zullen ongebruikte credit terugbetalen. Wij kunnen rekeningen opschorten die deze voorwaarden schenden of die de service in gevaar brengen.
9. Veranderingen, taal en contact
We kunnen deze voorwaarden bijwerken; materiële wijzigingen zullen worden aangekondigd op de site.
Vertalingen van deze pagina worden verstrekt voor het gemak en zijn machine-geproduceerd. Waar een vertaling en de Engelse versie verschillen, de Engelse versie regelt.
Vragen: Contacteer ons.