Kushte të shërbimit
1. Çfarë bën shërbimi
Ti dërgon një kërkesë dhe një standard. Ne e bëjmë atë nëpërmjet një paneli të modeleve AI që ti zgjedh, plus një model gjyqtar që rregullon kriteret e pranimit, dhe ne përpiqemi të formalizojmë rezultatin në Lean 4 kundër Mathlib. Rezultati është një transkriptim, një set vendimesh, një verdikt, dhe ku formalizimi u përpoq, rezultati Lean.
2. Çfarë është dhe nuk është rezultati
Rezultati është i gjeneruar nga modelet e AI të palëve të treta dhe nuk është këshillë. Nuk është këshillë ligjore, mjekësore, financiare, inxhinierike apo profesionale e ndonjë lloji dhe nuk krijohet asnjë marrëdhënie profesionale duke përdorur këtë shërbim.
Arbitri që vendos një kriter të përmbushur është një deklaratë rreth provave në të regjistruar në atë match. Kjo nuk është një garanci e korrektësisë. Modelet AI bëjnë gabime, lexojnë burimet gabim dhe mund të prodhojnë citime pavarësisht nga udhëzimet për të mos bërë kështu. Duhet të verifikoni në mënyrë të pavarur çdo gjë që doni të mbështeteni.Kjo është një mjet për të provuar punën e presionit, jo një zëvendësim për shqyrtimin e kualifikuar njerëzor.
Një formalizim i suksesshëm Lean do të thotë që kerneli Lean pranoi një provë të deklaratës që u formalizua, kundër versionit Mathlib në përdorim në atë kohë. Kjo nuk do të thotë se deklarata është një përkthim besnik i asaj që kërkove, dhe zgjedhja e një deklarate formale që nuk thotë atë që do të thoje është mënyra më e zakonshme që një rezultat formal të mashtrojë. Lexo deklaratën formale, jo vetëm verdiktin.
Përmbajtja juaj
Ju mbani pronësinë e pretendimeve që dërgoni dhe të prodhimit të prodhuar për ju. Ju na jepni vetëm licencën e nevojshme për të operuar shërbimin: për të përpunuar dërgimin tuaj, për ta transmetuar atë tek modelet e ofruesve që keni zgjedhur, dhe për të ruajtur match-ën e rezultuar që të mund të ktheheni tek ajo.
Matches janë private në mënyrë të paracaktuar. Nëse e shënon një match publik, ai bëhet i dukshëm për cilindo me lidhjen dhe mund të shfaqet në galerinë tonë publike. Mos publiko një match që përmban ndonjë gjë të fshehtë.
Mos dërgo të dhëna personale rreth të tjerëve, materiale konfidenciale që nuk ke të drejtë t'i ndajësh, apo përmbajtje që është e paligjshme.
Kreditë dhe faturim
Krediti është parapaguar dhe konsumohet kur matches është në funksionim. Çdo match ka një limit shpenzimi që ju vendosni; arritja e tij e pezullon match në vend që të vazhdojë të shpenzojë. Balancat nuk janë të transferueshme dhe, përveç kur kërkohet nga ligji, nuk janë të kthyeshme pasi të konsumohen. Krediti i papërdorur kthehet me kërkesë.
Nëse lidh çelësin e tënd të inferences, paguan drejtpërdrejt furnizuesin dhe nuk të faturojmë asnjë pagesë për token. Pas afati të deklaruar të lirë, aplikohet një pagesë infrastrukture për të mbuluar funksionimin e panelit, instrumenteve dhe depozitimit.
Ne mund të ndryshojmë çmimet me paralajmërim. Ndryshimet nuk aplikohen kurrë në kreditin që është blerë tashmë.
Përdorim i pranueshëm
Mos përdor shërbimin për të krijuar përmbajtje që dëmton të tjerët, për të përpiqur të nxjerrësh kërkesat tona apo instruksionet e sistemit, për të anashkaluar shpenzimet apo kufijtë e tarifës, ose për të rishitur aksesin pa një marrëveshje të shkruar. Mjeti i ekzekutimit të kodit është për verifikimin e pretendimeve; mos e përdor atë për të sulmuar ndonjë sistem.
Disponibiliteti
Ne varemi nga modelet e treta të ofruesve. Ofruesit dështojnë, ndryshojnë modelet dhe i braktisin ato. Një match i ndërprerë për ndonjë arsye është i pezulluar dhe i rifillueshëm; ne nuk ngarkojmë për punën që nuk ndodhi. Ne nuk garantojmë disponueshmëri të pandërprerë dhe një model që përdorët më parë mund të bëhet i papërdorshëm.
Përgjegjësia
Në shkallën më të madhe të lejuar nga ligji, shërbimi ofrohet siç është pa garanci të ndonjë lloji. Përgjegjësia jonë e përgjithshme për çdo kërkesë është e kufizuar në shumën që na keni paguar në tre muajt para se të ngrihet kërkesa. Ne nuk jemi përgjegjës për humbje të drejtpërdrejta apo të pashmangshme, duke përfshirë çdo humbje që vjen nga mbështetja në modelin e daljes.
Ndalimi
Mund të mbyllni llogarinë tuaj në çdo kohë; do t'ju kthejmë kreditin e papërdorur. Mund të pezullojmë llogaritë që shkelin këto kushte ose që rrezikojnë shërbimin.
Ndryshimet, gjuha dhe kontakti
Ne mund të përtërijm këto kushte; ndryshimet materiale do të njoftohen në faqe.
Përkthimet e kësaj faqeje janë dhënë për lehtësi dhe janë prodhuar nga makina. Kur një përkthim dhe versioni anglisht ndryshojnë, versioni anglisht mbizotëron.
Pyetje: Kontakt.