Palvelusehdot
1. Mitä palvelu tekee
Toimitat vaatimuksen ja standardin. Ajamme sen ohi valitsemasi tekoälymallien paneelin sekä hyväksymiskriteereitä säätelevän erotuomarimallin, ja yritämme virallistaa tuloksen Lean 4 Mathlib vastaan. Tulos on transkriptio, päätössarja, päätös ja missä virallistamista yritettiin, Lean-tulos.
2. Mikä on tuotos ja mikä ei
Tuotoksen tuottavat kolmannen osapuolen tekoälymallit, eikä se ole neuvo. Se ei ole minkäänlaista laillista, lääketieteellistä, taloudellista, insinööri- tai ammattineuvontaa, eikä ammattisuhdetta luoda käyttämällä tätä palvelua.
Perustelun täyttänyt erotuomari on lausunto ottelussa kirjatuista todisteista. Se ei ole takuu oikeellisuudesta. Tekoälymallit tekevät virheitä, lukevat väärin lähteitä ja voivat tekaista lainauksia huolimatta ohjeista, joita ei ole. Sinun täytyy itsenäisesti varmistaa, että kaikki, mihin aiot luottaa, on mahdollistaTämä on työkalu painetestiin, ei pätevän ihmisarvioinnin korvike.
Onnistunut Lean-virallistuminen tarkoittaa, että Lean-ytimen mukaan todiste virallisesta lausunnosta on silloin käytössä ollut versio Mathlib. Se ei tarkoita, että lausunto on uskollinen käännös siitä, mitä pyysit, ja että virallisen lausunnon valitseminen ei kerro, mitä tarkoitit, on yleisin tapa, jolla muodollinen tulos johtaa harhaan. Lue virallinen lausunto, ei vain tuomio.
3. Oma sisältö
Voit pitää hallussasi toimittamattasi vaateet ja sinulle tuotetut tuotokset. Annat meille vain palvelun käyttöön tarvittavan lisenssin: käsitelläksesi hakemuksen, lähettääksesi sen valitsemillesi mallitoimittajille ja tallentaaksesi tuloksena olevan ottelun, jotta voit palata siihen.
Ottelut ovat oletuksena yksityisiä. Jos merkitset ottelun julkisesti, se tulee näkyviin kenelle tahansa, jolla on linkki, ja voi näkyä julkisessa lehterillämme. Älä julkaise ottelua, joka sisältää mitään luottamuksellista.
Älä lähetä henkilötietoja muista, luottamuksellista aineistoa, jota sinulla ei ole oikeutta jakaa, tai sisältöä, joka on laitonta.
4. Hyvitykset ja laskutus
Luotot maksetaan etukäteen ja ne kulutetaan ottelun aikana. Jokaisessa ottelussa on asettamasi menoraja, sen saavuttaminen pysäyttää ottelun sen sijaan, että se jatkuisi. saldoja ei voi siirtää ja niitä ei palauteta, ellei laki sitä vaadi. Käyttämätön luotto palautetaan pyynnöstä.
Jos yhdistät oman päättelyavaimesi, maksat suoraan palveluntarjoajalle, emmekä veloita maksua per token. Mainitun ilmaisen päästöoikeuden jälkeen paneelin pyörittämiseen, työkaluihin ja säilytykseen sovelletaan infrastruktuurimaksua.
Saatamme muuttaa hintoja irtisanomisajalla. Muutokset eivät koske koskaan jo ostettuja luottoja.
5. Hyväksyttävä käyttö
Älä käytä palvelua tuottaaksesi sisältöä, joka vahingoittaa muita, yrittääksesi saada käyttöohjeemme tai järjestelmäohjeemme, kiertääksesi meno- tai korkorajat tai myydäksesi pääsyn uudelleen ilman kirjallista sopimusta. Koodintoteutustyökalu on väitteiden todentamiseen; älä käytä sitä minkään järjestelmän hyökkäämiseen.
6. Saatavuus
Riippumme kolmansien osapuolten mallien tarjoajista. Tarjoajat kaatuvat, vaihtavat malleja ja poistavat ne. Jostain syystä keskeytynyt ottelu on tauottava ja takaisinvoitettavissa; emme veloita työstä, jota ei tapahtunut. Emme takaa keskeytymätöntä saatavuutta, ja aiemmin käyttämäsi malli voi tulla saataville.
7. Vastuu
Palvelua tarjotaan lain sallimissa rajoissa ilman minkäänlaisia takuita. Kokonaisvastuu kaikista vaatimuksista on rajattu summaan, jonka maksoit meille kolmen kuukauden aikana ennen vaatimuksen syntymistä. Emme ole vastuussa välillisestä tai siitä johtuvasta menetyksestä, mukaan lukien mahdolliset tappiot, jotka johtuvat mallituotteesta.
8. Lopettaminen
Voit sulkea tilisi milloin tahansa, ja maksamme käyttämättömät luottotiedot takaisin. Voimme keskeyttää näiden ehtojen rikkovat tilit tai vaarantaa palvelun.
9. Muutokset, kieli ja kontakti
Saatamme päivittää näitä ehtoja, ja sivuston sisältöä muutetaan.
Tämän sivun käännökset ovat vaivattomia ja konevalmisteisia. Jos käännös ja englanninkielinen versio eroavat toisistaan, englanninkielinen versio on ohjeena.
Kysymyksiä: Ota yhteyttä.