Tarnybos sąlygos
1. Ką paslauga daro
Jūs pateikiate pretenziją ir standartą. Mes ją paleisime virš pasirinkto AI modelių grupės, kartu su teisėjo modelio, kuris taisykles dėl priėmimo kriterijus, ir mes bandome formalizuoti rezultatą Lean 4 palyginti su Mathlib. Rezultatas yra stenograma, sprendimų rinkinys, nuosprendis, ir kur bandė formalizuoti, Lean rezultatas.
2. Kas yra ir ne produkcija
Išvedimas yra sukurtas pagal trečiųjų šalių AI modelius ir nėra patarimas. Tai nėra teisinis, medicininis, finansinis, inžinerijos ar profesinės konsultacijos, ir jokių profesinių santykių nėra sukurta naudojant šią paslaugą.
Teisėjas, nusprendęs, kad kriterijus yra įvykdytas, yra pareiškimas apie įrašus, esančius match. Tai nėra teisingumo garantija. AI modeliai daro klaidas, klaidingai skaito šaltinius, ir gali sukurti citacijas, nepaisant instrukcijų, kad ne. Jūs turite nepriklausomai patikrinti, kuo ketinate pasitikėtiTai yra priemonė, skirta slėgiui tirti, o ne pakaitalas kvalifikuotam žmogaus patikrinimui.
Sėkmingas Leano formalizavimas reiškia, kad Leano branduolys priėmė formaliai įforminto pareiškimo įrodymą, prieš tuo metu naudojamą Mathlib redakciją. Tai nereiškia, kad pareiškimas yra ištikimas vertimas to, ko prašėte, ir pasirinkdamas oficialų pareiškimą, kuris nesako, ką jūs turėjote omenyje, yra labiausiai paplitęs būdas formalus rezultatas klaidina. Skaityti oficialų pareiškimą, ne tik nuosprendis.
3. Jūsų turinys
Jūs nuolat valdote savo pateiktų reikalavimų ir Jums pagamintos produkcijos nuosavybę. Jūs suteikiate mums tik licenciją, reikalingą paslaugai teikti: apdoroti savo pateikimą, perduoti ją pasirinktiems modeliams teikėjams ir saugoti rezultatą match, kad galėtumėte į ją grįžti.
Matches yra privatūs pagal nutylėjimą. Jei pažymite match viešas, tai tampa matoma visiems su nuoroda ir gali būti rodomas mūsų viešoje galerijoje. Nespausdinkite match, kuriame yra nieko konfidenciali.
Neteikkite asmens duomenų apie kitus, konfidencialios medžiagos, kuria negalite dalintis, ar turinio, kuris yra neteisėtas.
4. Kreditai ir sąskaitos
Kreditas yra iš anksto apmokėtas ir sunaudojamas kaip matches paleisti. Kiekvienas match turi išlaidų limitą, kurį nustatėte; pasiekia jį, o ne toliau išleisti match. Likučiai nėra perleidžiamas ir, išskyrus atvejus, kai reikalaujama pagal įstatymą, nėra grąžinamas, kai tik suvartotas. Nepanaudotas kreditas yra grąžinamas pagal prašymą.
Jei prijungsite savo klientą raktą, Jūs mokate tiesiogiai savo paslaugų teikėjui ir mes apmokestinti už už vieną takelį mokestį. Praeityje nurodytas nemokamas leidimas infrastruktūros mokestis taikomas padengti veikia skydelio, įrankių ir saugojimo.
Mes galime keisti kainas su įspėjimu. Pakeitimai niekada negalioja jau įsigytų kreditų.
5. Priimtinas naudojimas
Nenaudokite paslaugos sukurti turinį, kuris kenkia kitiems, bandyti išgauti mūsų greitųjų ar sistemos instrukcijas, apeiti išlaidų ar normos ribas, arba perparduoti prieigą be raštiško susitarimo. Kodo įvykdymo įrankis yra patikrinti reikalavimus; nenaudokite jį atakuoti bet kokią sistemą.
6) Prieinamumas
Mes priklausome nuo trečiųjų šalių modelių tiekėjų. Teikėjai nuleidžia, pakeičia modelius ir juos išskiria. A match nutrūko dėl bet kokios priežasties, yra sustabdytas ir atnaujinamas; mes neapmokestiname už darbą, kuris neįvyko. Mes negarantuojame nepertraukiamo prieinamumo, o modelis, kurį naudojote anksčiau, gali tapti neprieinamas.
7. Atsakomybė
Įstatyme leidžiama teikti tokią paslaugą, kokia yra be jokių garantijų. Mūsų bendra atsakomybė už bet kokį reikalavimą yra apribota suma, kurią sumokėjote per tris mėnesius iki reikalavimo atsiradimo. Mes neatsakome už netiesioginius ar dėl to atsiradusius nuostolius, įskaitant bet kokius nuostolius, atsiradusius dėl modelio produkcijos.
8. Nutraukimas
Jūs galite uždaryti savo sąskaitą bet kuriuo metu; mes grąžinti nepanaudotas kreditas. Mes galime sustabdyti sąskaitas, kurios pažeidžia šias sąlygas arba kad paslauga rizikuoja.
9. Pakeitimai, kalba ir kontaktai
Galime atnaujinti šias sąlygas; apie esminius pakeitimus bus paskelbta svetainėje.
Vertimai iš šio puslapio yra pateikiami patogumui ir yra mechaniškai pagaminti. Jei vertimas ir anglų kalba skiriasi, anglų kalba yra reglamentuojamas.
Klausimai: Susisiekite su mumis.