Darba noteikumi
1. Ko pakalpojumu sniedz
Jūs iesniedzat prasību un standartu. Mēs palaist to garām AI modeļu paneli, kuru izvēlējāties, kā arī rekomendācijas, kas nosaka pieņemšanas kritērijus, un mēs cenšamies formalizēt rezultātu Lean 4 pret Mathlib. Rezultāts ir transkripts, nolēmumu kopums, spriedums, un kur tika mēģināts formalizēšanu, Lean rezultāts.
2. Kas ir un nav rezultāts
Rezultātu veido trešo personu AI modeļi, un tas nav ieteikums. Tā nav juridiska, medicīniska, finanšu, inženiertehniska vai profesionāla konsultācijas nekāda veida, un nekādas profesionālās attiecības nav izveidotas, izmantojot šo pakalpojumu.
Tiesnesis, kas lemj par atbilstību kritērijam, apgalvo par pierādījumiem, kas ir reģistrēti match. Tā nav pareizības garantija. AI modeļi pieļauj kļūdas, kļūdaini nolasīt avotus un var izgatavot citācijas, neskatoties uz instrukcijām. Jums ir neatkarīgi pārbaudīt visu, ko jūs plānojat paļauties uz, īpaši pirms publicēšanas, iesniegšanas vai darbības uz to. Tas ir instruments spiediena pārbaudes darbu, nevis aizvieto kvalificētu cilvēka pārbaudes.
Veiksmīga Lean formalizācija nozīmē, ka Lean kodols ir pieņēmis apliecinājumu paziņojumam, kas tika oficiāli, pret versiju Mathlib tolaik izmantot. Tas nenozīmē, ka paziņojums ir uzticams tulkojums to, ko jūs jautājat, un izvēloties oficiālu paziņojumu, kas nesaka, ko jūs domājāt ir visbiežāk veids, kā formāls rezultāts maldina. Izlasiet oficiālo paziņojumu, ne tikai spriedumu.
3. Jūsu saturs
Jūs saglabājat īpašumtiesības uz jūsu iesniegtajām prasībām un uz Jums saražoto produkciju. Jūs piešķirat mums tikai licenci, kas nepieciešama pakalpojuma sniegšanai: apstrādāt savu iesniegšanu, nosūtīt to izvēlētajiem modeļiem, un uzglabāt iegūto match, lai jūs varētu atgriezties pie tā.
Matches are private by default. If you mark a match public it becomes visible to anyone with the link and may appear in our public gallery. Do not publish a match containing anything confidential.
Neiesniedziet personas datus par citiem, konfidenciālus materiālus, kurus jums nav tiesību kopīgot, vai saturu, kas ir nelikumīgi.
4. Kredīti un rēķinu izrakstīšana
Kredīts ir iepriekš apmaksāts un tiek patērēts, jo matches palaists. Katram match ir jūsu noteiktais izdevumu limits; sasniedzot to, tiek apturēta match, nevis turpināts tērēt. Atlikumi nav pārvedami un, izņemot likumā paredzētos gadījumus, nav atmaksājami pēc lietošanas. Neizmantotais kredīts ir atmaksājams pēc pieprasījuma.
Ja jūs savienojat savu ievades atslēgu, jūs maksājat jūsu pakalpojumu sniedzējam tieši, un mēs rēķināmies bez vienas taktikas maksas. Pagātnes norādītā bezmaksas kvota infrastruktūras maksa ir piemērojama, lai segtu paneļa, instrumentu un uzglabāšanas darbību.
Mēs varam mainīt cenas ar paziņojumu. Izmaiņas nekad neattiecas uz kredītu jau iegādāts.
5. Pieņemama lietošana
Nelietojiet pakalpojumu, lai radītu saturu, kas kaitē citiem, mēģināt iegūt mūsu ātrumus vai sistēmas instrukcijas, lai apietu izdevumu vai likmes ierobežojumus, vai pārpārdot piekļuvi bez rakstiskas vienošanās. Kodu izpildes rīks ir pārbaudīt prasības; neizmantojiet to, lai uzbruktu jebkurai sistēmai.
6. Pieejamība
We depend on third-party model providers. Providers go down, change models, and deprecate them. A match interrupted for any reason is paused and resumable; we do not charge for work that did not happen. We do not guarantee uninterrupted availability, and a model you used before may become unavailable.
7. Atbildība
Mēs neesam atbildīgi par netiešiem vai no tā izrietošiem zaudējumiem, tostarp par zaudējumiem, kas rodas no modeļa produkcijas.
8. Izbeigšana
Jūs varat slēgt savu kontu jebkurā laikā; mēs atmaksāsim neizmantoto kredītu. Mēs varam apturēt kontus, kas pārkāpj šos noteikumus vai kas pakļauj pakalpojumu riskam.
9. Izmaiņas, valoda un kontakti
Mēs varam atjaunināt šos noteikumus; par būtiskām izmaiņām tiks paziņots vietnē.
Šīs lapas tulkojumi ir ērtības un ir izgatavoti mašīnrakstā. Ja tulkojums un angļu valodas versija atšķiras, tad to nosaka angļu valodas versija.
Jautājumi: Sazinieties ar mums.