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 šioje rungtynėje. Tai nėra teisingumo garantija. AI modeliai daro klaidas, klaidingai skaito šaltinius, ir gali sukurti citacijas, nepaisant nurodymų, 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 gaunamą atitiktį, kad galėtumėte grįžti į ją.
Rungtynės pagal numatytąjį yra privačios. Jei pažymite rungtynes viešai, tai tampa matoma visiems su nuoroda ir gali pasirodyti mūsų viešoje galerijoje. Nespausdinkite rungtynių su 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 naudojamas kaip rungtynės paleisti. Kiekvienas varžybos turi išlaidų limitą, kurį nustatėte; pasiekia jį stabdo rungtynes, o ne toliau išleisti. Likučiai nėra perleidžiami ir, išskyrus atvejus, kai reikalaujama pagal įstatymą, nėra kompensuojamas kartą suvartotas. Nepanaudotas kreditas 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ų. Tiekėjai nuleidžia, pakeičia modelius ir juos išskiria. Kontaktas, kurį pertraukėte 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.