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.
Tuomarin päätöksen mukaan täyttynyt on lausunto match:n 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 toimittamatsi vaateet ja sinulle tuotetut tuotokset. Annat meille vain palvelun käyttöön tarvittavan luvan: käsitelläksesi hakemuksen, lähettääksesi sen valitsemillesi mallitoimittajille ja tallentaaksesi tuloksena olevan match kappaletta, jotta voit palata siihen.
Matches on oletuksena yksityinen. Jos julkistat match, se tulee näkyviin kenelle tahansa, jolla on linkki, ja se voi ilmestyä meidän julkiseen lehteriimme. Älä julkaise match:a, 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 kulutetaan matches juoksua. Jokaisessa match:ssa on asettamasi menoraja, sen saavuttaminen pysäyttää match:n sen sijaan, että se jatkaisi käyttöä. Talletukset eivät ole siirrettävissä 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. match keskeytystä jostain syystä on keskeytetty ja mahdollista jatkaa; 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ä.