Servicebedingungen
Wat de Service mécht
Dir stellt eng Demande an e Standard. Mir lafen et duerch eng Panel vun KI Modeller déi Dir wielt, plus e Referee Modell dat Akzeptanzkritären regéiert, a mir probéieren d'Resultat an Lean 4 géint Mathlib ze formaliséieren. D'Ausgab ass eng Transkriptioun, eng Rei vu Reglementer, e Verdict, a wou Formaliséierung probéiert gouf, d'Lean Resultat.
2. Wat d'Ausgab ass an net ass
D'Resultat ass eng 3-Säit-Ausgab, déi no der Geschicht geschriwwe gëtt. Et ass keng juristesch, medizinesch, finanziell, technesch oder professionell Berodung vun all Aart, an et gëtt keng professionell Bezéiung duerch d'Benotzung vun dësem Service.
D'Rechtswëssenschaft ass eng Wëssenschaft, déi sech mat der Rechtswëssenschaft beschäftegt. D'Rechtswëssenschaft ass eng Wëssenschaft, déi sech mat der Rechtswëssenschaft beschäftegt. D'Rechtswëssenschaft ass eng Wëssenschaft, déi sech mat der Rechtswëssenschaft beschäftegt. Si muss all d'Informatiounen, déi se brauch, op der Säit fannen.@ info
Eng erfollegräich Lean- Formaliséierung bedeit, dass de Lean- Kernel e Beweis vun der Ausso, déi formaliséiert gouf, géint déi Versioun Mathlib, déi zu där Zäit benotzt gouf, akzeptéiert huet. Et heescht net, datt déi Ausso eng richteg Iwwersetzung vun deem ass, wat Dir gefrot hutt, an eng formal Ausso ze wielen, déi net seet, wat Dir geduecht hutt, ass déi heefegst Manéier, wéi e formalt Resultat irrelevant ass. Liest d' formell Ausso, net nëmmen d' Verdeelung.
Äert Inhalt
Dir behalen d'Eegentum vun de Bewäertungen déi Dir agereecht hutt an vun der Ausgab déi fir Iech produzéiert gouf. Dir gitt eis nëmmen d'Lizenz déi néideg ass fir de Service ze bedreiwen: fir Är Einreichung ze verschaffen, se un d'Modellprovider ze schécken déi Dir ausgewielt hutt, an d'Resultat ze späicheren fir datt Dir et zréckféiere kënnt.
Matchen sinn standardméisseg privat. Wann Dir eng Match als ëffentlech markéiert, gëtt se fir jiddereen mat dem Link sichtbar an kann an eiser ëffentlecher Galerie optrieden. Verëffentlecht keng Matchen déi eppes Vertrauleches enthalen.
Et gëtt keng Informatioun iwwer d'Persoun, déi d'Informatioun kritt huet, oder iwwer d'Persoun, déi d'Informatioun kritt huet.
Kreditter a Rechnungen
De Kredit ass virbezuelt an gëtt benotzt wann d'Spiller lafen. All Spill huet eng Ausgabenlimit déi Dir festléiert hutt; wann Dir se erreecht, gëtt d'Spill ënnerbrach an net weider benotzt. De Balance ass net iwwerdrobar an, ausser wann et gesetzlech erfuerdert ass, ass net zréckbezuelt wann et benotzt gëtt. Net benotzte Kredit ass op Ufro zréckbezuelt.
Wann Dir Ären eegene Schlëssel fir d'Inferenzen ugeschloss hutt, bezuelt Dir Ärem Provider direkt an mir berechnen keng Token-Käschte. Iwwert d'uginn gratis Zouloossung eraus gëllt eng Infrastrukturkäschte fir d'Betriebszäit vum Panel, Tools an Speicher ze decken.
Mir kënnen d'Präisser mat Noriicht änneren. Ännerunge gëllen ni fir Kreditt deen schonn kaaft gouf.
Akzeptabel Benotzung
Benotzt de Service net fir Inhalter ze generéieren, déi aneren schueden, fir eis Prompts oder Systeminstruktiounen ze extrahéieren, fir d'Käschte- oder Tarifflimiten ze ëmgoen, oder fir Zougang ouni schreiwend Accord ze verkafen. D'Code-Execution-Tool ass fir d'Verifikatioun vun Ufroen; benotzt et net fir e System unzegräifen.
Verfügbarkeet
Mir hänken vun anere Modeller of. Aner Modeller ginn aus, ginn ännert an ginn ofgeschaaft. Eng Kombinatioun déi aus iergendengem Grond ënnerbrach gëtt, gëtt pausiert an nees weidergefouert. Mir bezuelen net fir Aarbecht déi net gemaach gouf. Mir garantéieren net eng onunterbrach Verfügbarkeet, an e Modell dat Dir virdrun benotzt hutt kann net méi verfügbar sinn.
Haftung
Am gréissten gesetzlech erlaabten Ëmfang gëtt de Service ouni Garantie vun all Zort ugebueden. Eis total Haftung fir all Klage ass op de Betrag limitéiert, deen Dir eis an deene véier Méint virum Optriede vun der Klage bezuelt hutt. Mir sinn net fir indirekt oder Folgeschäden, inklusiv all Verloscht, deen aus der Ofhängegkeet vun der Modellausgab entsteet, haftbar.
Beëndlech
Dir kënnt Äre Kont all Moment zoumaachen; mir ginn Iech d'Geld zréck. Mir kënnen Kont'en suspendéieren, déi géint dës Bedéngungen verstoussen oder déi de Service geféierlech maachen.
Ännerungen, Sprooch a Kontakt
D'Resultat ass eng Verännerung vun der Positioun, déi op der Säit ugewisen ass.
Iwwersetzunge vun dëser Säit ginn als Komfort ugebueden an si mat Maschinne produzéiert. Wann eng Iwwersetzung an d' englesch Versioun ënnerschiddlech sinn, ass d' englisch Versioun virgesinn.
Froen: Kontakt.