Termes de servei
1. El que fa el servei
Si envieu una reclamació i un estàndard. La analitzem per un plafó de models AI que seleccioneu, més un model de referència que es refereix a les regles sobre criteris d'acceptació, i intentem personalitzar el resultat en Lean 4 contra Mathlib. La sortida és una transcripció, un conjunt de regles, un veredicte, i on es va intentar la formalització, el resultat de Lean.
2. Quina és la sortida i no és
La producció es genera per models AN de tercers i no és un consell. No és legal, mèdic, financera, enginyeria o consell professional de cap mena, i no es crea cap relació professional utilitzant aquest servei.
El criteri de la sentència de referència es va trobar un comunicat sobre les proves en el cas de la coincidència. No és una garantia de corregir. Els models de l' IAA són errors, fonts de lectura errònia i poden embarcar citacions, malgrat les instruccions no. Heu de verificar independentment tot el que penseu dependreSobretot abans de publicar-la, enviar-la o actuar-hi.
Un èxit en la formalització de Lenà significa que el nucli Lean va acceptar una prova de la declaració que va ser formalitzada, contra la versió de Mathlib en ús en aquell moment. No significa que aquesta declaració sigui una traducció fidel del que vas demanar, i escollint una declaració formal que no diu el que significa una manera més comuna entre els líders no formals. Llegiu la declaració formal, no només el veredicte.
3. El vostre contingut
Si seguiu propietat de les declaracions que envieu i de la sortida que us produeixeu. Només ens doneu la llicència necessària per a operar al servei: per processar la vostra submissió, transmetre- la als proveïdors de model que heu seleccionat i emmagatzemar la coincidència resultant per poder tornar- la a ella.
Les coincidències són privades per omissió. Si marqueu una coincidència, aquesta es mostrarà visible a qualsevol amb l' enllaç i pot aparèixer a la nostra galeria pública. No publiqueu cap coincidència que contingui res confidencial.
No enviïs dades personals sobre altres, material confidencial que no té dret a compartir, o contingut que no sigui il·legal.
4, Crèdits i factura
El crèdit està prepagat i està consumit com a coincidències que s' executen. Cada coincidència té un límit de despesa que heu establert; arribant a la coincidència en comptes de continuar. Els intervals no es poden transferir i, excepte on es requereix la llei, són no es poden consumir una vegada. No es poden cancel· lar els crèdits no utilitzats en sol· licitud.
Si connecteu la vostra clau deferència, pagueu directament el vostre proveïdor i no rebutgem cap càrrega per a les tasques. Pass del passat, el programa ha declarat que els subsidis de lliure rendiment s' aplica a cobrir el plafó, eines i magatzem.
Podem canviar els preus amb nota. Els canvis mai s' apliquen als crèdits ja comprats.
5. Ús acceptat
No useu el servei per a generar contingut que faci mal als altres, per a intentar extreure les nostres instruccions o instruccions del sistema, per a fer- ho bé, o revendre l' accés sense un acord escrit. L' eina d' execució de codi és per a verificar les demandes; no l' useu per a atacar cap sistema.
6. Disponibilitat
Depenem dels proveïdors de model de tercers. Els proveïdors van, models canvia i els desprecendeixen. Un partit interromput per qualsevol raó està pausat i resufusible; no càrrega per a la feina que no va ocórrer. No garanteixem disponibilitat ininterrompuda, i un model que heu usat abans no es pot tornar disponible.
7, Libilitat
A l'abast més permès per llei, el servei es proporciona com sense ordre de cap mena. El nostre total llast per a qualsevol reclamació és limitat a la quantitat que ens vas pagar en els tres mesos abans que es despensés, no som capaços de perdre el director o conseqüent, incloent cap pèrdua de reviure el model de sortida.
8. Terminació
Podeu tancar el vostre compte en qualsevol moment; nom cancel·lar el crèdit sense resoldre. Potser depurem comptes que incomplimentn aquests termes o que posen el servei en risc.
9. Canvis, idioma i contacte
Podem actualitzar aquests termes; els canvis materials s'anunciaran en el lloc web.
Les traduccions d' aquesta pàgina es proveeixen per comoditat i són proposades per màquines. A on una traducció i la versió anglesa difereixen, la versió anglesa governa.
Preguntes: Contacte amb nosaltres.