Kondiĉoj de servo
1. Kion la servo faras
Vi sendas postulon kaj normon. Ni rulas ĝin tra panelo de AI- modeloj, kiujn vi elektas, plus arbitraciisto- modelo kiu regas pri akcepto- kriterioj, kaj ni provas formaligi la rezulton en Lean 4 kontraŭ Mathlib. La eligo estas transskribo, aro de decidoj, verdikto, kaj kie formaligo estis provita, la Lean- rezulto.
2. Kio estas kaj ne estas la eligo
La 3-a parto estas pri la kaŭzoj de la malsano kaj ne pri la kuracado. Ĝi ne estas leĝa, medicina, financa, inĝeniera aŭ profesia konsilo de iu ajn speco, kaj neniu profesia rilato estas kreita per uzado de tiu servo.
La juĝisto kiu juĝas kriterion plenumita estas deklaro pri la pruvo registrita en tiu matĉo. Ĝi ne estas garantio de ĝusteco. AI-modeloj faras erarojn, malĝuste legas fontojn, kaj povas fabriki citaĵojn malgraŭ instrukcioj ne fari tion. Vi devas memstare kontroli ĉion, kion vi intencas fidi@ info
Sukcesa Lean- formaligo signifas, ke la Lean- kerno akceptis pruvon de la formaligita deklaro, kontraŭ la versio de Mathlib uzata tiutempe. Tio ne signifas, ke la deklaro estas fidinda traduko de tio, kion vi petis, kaj elektado de formala deklaro, kiu ne diras, kion vi intencis, estas la plej ofta maniero, per kiu formala rezulto misgvidas. Legu la formalan deklaron, ne nur la verdikton.
Via enhavo
Vi retenas la posedon de la asertoj kiujn vi sendas kaj de la rezulto produktita por vi. Vi donas al ni nur la permeson necesan por funkciigi la servon: por trakti vian senditan mesaĝon, transdoni ĝin al la modeloprovizantoj kiujn vi elektis, kaj konservi la rezultan kongruon por ke vi povu reveni al ĝi.
La ludoj estas privataj defaŭlte. Se vi markas ludon publika ĝi estas videbla por ĉiu kiu havas la ligilon kaj povas aperi en nia publika galerio. Ne publikigu ludon kiu enhavas ion konfidencan.
Ne enmetu personajn informojn pri aliaj, konfidencan materialon, kiun vi ne rajtas kunhavigi, aŭ enhavon, kiu estas kontraŭleĝa.
Kreditoj kaj fakturado
La kredito estas antaŭpagata kaj estas konsumata dum ludoj. Ĉiu ludo havas elspezan limigon kiun vi difinas; atingante ĝin, la ludo estas paŭzita anstataŭ daŭrigi elspezi. Saldoj ne estas transigeblaj kaj, escepte kiam necesas laŭleĝe, ne estas repagitaj post konsumo. Neuzataj kreditoj estas repagitaj je peto.
Se vi konektas vian propran inferecan ŝlosilon, vi pagas al via provizanto rekte kaj ni ne fakturas per-token-koston. Post la donita libera permeso infrastruktur-pago aplikiĝas por kovri la funkciadon de la panelo, iloj kaj stokadon.
Ni povas ŝanĝi prezojn kun antaŭa atentigo. Ŝanĝoj neniam aplikiĝas al kredito jam aĉetita.
Akceptebla uzo
Ne uzu la servon por krei enhavon kiu damaĝas aliajn, por provi eltiri niajn instrukciojn aŭ sistemajn instrukciojn, por eviti la elspez- aŭ tarif-limojn, aŭ por revendi aliron sen skribita interkonsento. La kodo- plenuma ilo estas por kontroli asertojn; ne uzu ĝin por ataki iun ajn sistemon.
@ label
Ni dependas de triaj modelprovizantoj. Provizantoj malsukcesas, ŝanĝas modelojn, kaj forlasas ilin. Konkordo interrompita pro iu ajn kialo estas paŭzita kaj rekomencebla; ni ne kovras laboron, kiu ne okazis. Ni ne garantias seninterrompan disponeblecon, kaj modelo, kiun vi uzis antaŭe, povas iĝi nehavebla.
Responso
Laŭ la plej plena amplekso permesita de la leĝo, la servo estas provizita kiel estas sen garantioj de iu ajn speco. Nia totala respondeco por ajna postulo estas limigita al la sumo kiun vi pagis al ni en la tri monatoj antaŭ la postulo ekestis. Ni ne estas respondecaj por nerekta aŭ sekva perdo, inkluzive de ajna perdo ekestinta el fido al modelo- eligo.
Fino
Vi povas fermi vian konton iam ajn; ni redonos la neuzatan krediton. Ni povas suspendi kontojn kiuj malobservas ĉi tiujn kondiĉojn aŭ kiuj riskas la servon.
Ŝanĝoj, lingvo kaj kontakto
Ni povas ĝisdatigi tiujn ĉi kondiĉojn; materialaj ŝanĝoj estos anoncita en la retejo.
Tradukoj de tiu paĝo estas provizitaj por via komforto kaj estas maŝine produktitaj. Se la traduko kaj la angla versio malsamas, la angla versio estas la ĉefa.
Demandoj: Kontakti nin.