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, norāda uz pierādījumiem, kas ierakstīti šajā spēlē. Tā nav pareizības garantija. AI modeļi pieļauj kļūdas, kļūdainu datu 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: lai apstrādātu jūsu iesniegšanu, nosūtītu to izvēlētajiem modeļiem un uzglabātu iegūto sērkoci, lai jūs varētu atgriezties pie tā.
Sērkociņas pēc noklusējuma ir privātas. Ja atzīmējat sērkociņu publisku, tās kļūst redzamas ikvienam ar saiti un var parādīties mūsu publiskajā galerijā. Nepublicējiet spēli, kurā ir kaut kas konfidenciāls.
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 kā spēles palaist. Katrai spēlei ir jūsu iestatīts izdevumu limits; sasniedzot to pauzē spēli, nevis turpina tērēt. Atlikumi nav pārvedami un, izņemot gadījumus, kad to prasa likums, nav atmaksājami pēc lietošanas. Neizmantots 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
Mēs esam atkarīgi no trešo pušu modeļu nodrošinātājiem. Piegādātāji iet uz leju, maina modeļus un nošķir tos. Sērkociņa, kas pārtraukta jebkura iemesla dēļ, tiek apturēta un no jauna izkausēta; mēs nemaksājam par darbu, kas nenotika. Mēs negarantējam nepārtrauktu pieejamību, un modelis, kuru izmantojat, var kļūt nepieejams.
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.