Termeni de serviciu
1. Ce face serviciul
Depuneți o cerere și un standard. Îl rulam depășit un panou de modele de IA pe care le-ai selectat, plus un model de arbitru care reglementează criteriile de acceptare, și încercăm să formalizeze rezultatul în Lean 4 împotriva Mathlib. Ieșirea este o tranșură, un set de hotărâri, un verdict și în cazul în care a fost tentată formalizarea, rezultatul Lean.
2. Ce este şi nu ieșirea
Produsul este generat de modele terțe de IA și nu este sfat. Nu este un sfat legal, medical, financiar, inginerie sau profesional de orice fel, și nici o relație profesională nu este creat prin utilizarea acestui serviciu.
Arbitrul a decretat un criteriu îndeplinit este o declarație despre dovezile înregistrate în acel meci. Nu este o garanție de corectitudine. Modelele IA fac greșeli, surse greșite, și pot fabrica citații, în ciuda instrucțiunilor nu. Trebuie să verifici independent orice ai de gând să se bazeze pe, mai ales înainte de a-l publica, de a-l prezenta sau de a acționa pe el. Acesta este un instrument pentru lucrările de testare a presiunilor, nu un înlocuitor pentru o reexaminare umană calificată.
A successful Lean formalisation means the Lean kernel accepted a proof of the statement that was formalised, against the version of Mathlib in use at that time. It does not mean that statement is a faithful translation of what you asked, and choosing a formal statement that does not say what you meant is the most common way a formal result misleads. Read the formal statement, not only the verdict.
3. Conţinutul dumneavoastră
Vă păstraţi proprietatea de reclamaţii pe care le depuneţi şi de ieșirea produsă pentru dvs. Ne acordaţi numai licenţa necesară pentru a opera serviciul: pentru a procesa prezentarea dumneavoastră, transmiteţi-l furnizorilor de model pe care l-aţi selectat şi păstraţi meciul rezultat astfel încât să vă puteţi întoarce la ea.
Coboară sunt private, implicit. Dacă marcați un meci public devine vizibil pentru oricine cu link-ul și poate apărea în galerie noastră publică. Nu publicați un meci care conține ceva confidențial.
Nu transmite date cu caracter personal despre alți, materiale confidențiale pe care nu le aveți dreptul să le împărtășiți sau conținut care este ilegal.
4. Creditele şi facturarea
Credit este prepagat și este consumat ca meciuri run. Fiecare meci are o limită de cheltuieli pe care le-ai stabilit; atingerea este pauza meciului în loc de a continua să cheltui. Balanțele nu sunt transferabile și, cu excepția cazului în care legii, sunt nereturnabile o dată consumate. credit neutilizat este restituire la cerere.
Dacă conectați cheia de inferență, vă plătiți furnizorul dumneavoastră direct și noi fact nu taxa per-token. Depășit alocația gratuită se aplică o taxă de infrastructură pentru a rula panoul, instrumentele și stocarea.
Putem schimba prețurile cu prealabil. Modificări nu se aplică niciodată la credit deja achiziționat.
5. Utilizare acceptabilă
Nu utilizați serviciul pentru a genera conținut care dăunează alții, pentru a încerca să extragă prompte sau instrucțiunile noastre de sistem, pentru a eluda limitele de cheltuieli sau rate, sau pentru a revenda accesul fără un acord scris. Instrumentul de exerciție de cod este pentru verificarea cererilor; nu-l utiliza pentru a ataca orice sistem.
6. Disponibilitatea
Noi depindem de furnizorii de model terți. Provedorii coborâ, schimba modelele, și deprecate-le. Un meci întrerupt pentru orice motiv este oprit și de reluare; noi nu se încarcă pentru lucru care nu s-a întâmplat. Noi nu garanta disponibilitate ininterrupt, și un model folosit înainte poate deveni nedisponibil.
7. Responsabilitatea
În măsura în care legea permite, serviciul este furnizat ca și fără garanții de orice fel. Răspunderea noastră totală pentru orice reclamație este limitată la suma pe care ne-ați plătit în cele trei luni înainte de a apărea reclamație. Nu suntem responsabili pentru pierderea indirectă sau consecință, inclusiv orice pierdere decursă de dependență de rezultatul modelului.
8. Încheierea
Puteți închide contul dumneavoastră în orice moment; vom returna creditul neutilizat. Putem suspenda conturile care încălcă aceste termeni sau care pun serviciul în pericol.
9. Schimbări, limbaj şi contact
Putem actualiza aceste termeni; modificările materiale vor fi anunțate pe site.
Traducerea acestei pagini este oferită pentru confort și sunt produse cu masina. În cazul în care o traducere și versiunea engleză diferă, versiunea engleză guvernează.
Întrebări: Contactaţi-ne.