Kondisyon Sèvis
1. Ki sa sèvis la fè
Ou soumèt yon reklamasyon ak yon estanda. Nou kouri li pase yon panèl de modèl AI ou chwazi, plis yon modèl referee ki règleman sou kritè akò, epi nou eseye pou fòmalize rezilta a nan Lean 4 kont Mathlib. Pwodui a se yon transkript, yon seri de règleman, yon verdik, ak kote fòmalize te eseye, rezilta Lean.
2. Ki sa ki se pwodiksyon an ak se pa
Sa a se yon atik ki gen rapò ak yon lòt kategori, ki pa gen rapò ak atik la. Li pa legal, medikal, finansye, enjenyè oswa konsèy pwofesyonèl nan nenpòt kalite, ak pa gen okenn relasyon pwofesyonèl ki te kreye pa itilize sèvis sa a.
Arbitre ki deside yon kritè satisfè se yon deklarasyon sou prèv sou dosye nan match sa a. Li pa yon garanti pou kòrèkteman. modèl AI fè erè, mal li sous, ak ka fabrike citation malgre enstriksyon yo pa fè. Ou dwe verifye de fason endepandan nenpòt bagay ou vle baze souSa a se yon zouti pou travay tès-presyon, pa yon ranplasman pou revizyon moun ki kalifye.
Yon Lean formalization ki reyisi vle di ke Lean kernel a aksepte yon prèv nan deklarasyon an ki te formalized, kont vèsyon an Mathlib nan itilize nan tan sa a. Li pa vle di ke deklarasyon an se yon tradiksyon fidèl nan sa ou mande, epi chwazi yon deklarasyon fòmèl ki pa di sa ou vle di se fason ki pi komen yon rezilta fòmèl deranje. Li deklarasyon an fòmèl, pa sèlman verdik la.
3. Konte ou
Ou rete mèt pwopriyete nan reklamasyon ou soumèt ak nan rezilta ki fèt pou ou. Ou bay nou sèlman lisans ki nesesè pou opere sèvis la: pou trete soumèt ou, transmèt li bay founisè modèl ou chwazi, ak estoke match la ki rive a pou ou ka retounen nan li.
Match yo se prive pa default. Si ou make yon match piblik li vin vizib pou nenpòt moun ki gen lyen an epi li ka parèt nan galeri piblik nou an. Pa pibliye yon match ki gen nenpòt bagay konfidansyèl.
Pa voye enfòmasyon pèsonèl sou lòt moun, materyèl konfidansyèl ou pa gen dwa pataje, oswa kontni ki ilegal.
4. Kredi ak bidjè
Kredi a se yon kredi ki peye avan epi ki itilize pandan match la ap dewoule. Tout match gen yon limit depans ou mete; lè ou rive nan limit la, match la ap sispann san ou pa bezwen kontinye depanse. Balans yo pa transferab e, sitou lè yo mande sa pa lwa, yo pa ka retounen yon fwa yo itilize. Kredi ki pa itilize a ka retounen sou demann.
Si ou konekte ou pwòp kle enfliyans ou, ou peye founisè ou dirèkteman epi nou pa fè ou peye okenn frè pou chak token. Apre kantite lajan gratis la, yon frè enfrastrikti ap aplike pou kouvri fonksyonman panel la, zouti yo ak depo.
Nou ka chanje pri yo san avètisman. Chanjman yo pa janm aplike a kredi ki deja achte.
5. Itilize ki akseptab
Pa itilize sèvis la pou kreye kontni ki danjere pou lòt moun, pou eseye ekstraksyon de demann nou yo oswa enstriksyon sistèm, pou evite depanse oswa limites tarif, oswa pou re-vann aksè san yon akò ekri. zouti a code-execution se pou verifye revendikasyon; pa itilize li pou atak nenpòt sistèm.
Disponibilite
Nou depann de twazyèm pati ki bay modèl. Founisè yo tonbe, chanje modèl, ak depreferans yo. Yon matche ki entèwonp pou nenpòt rezon se an pèsistans ak retounen; nou pa chaje pou travay ki pa te rive. Nou pa garanti disponiblite san entèripsyon, ak yon modèl ou te itilize anvan ka vin pa disponib.
Responsablite
Nan limit ki pi lajman posib ki pèmèt pa lwa, sèvis la se bay tankou se san okenn garanti de nenpòt kalite. Responsablite total nou pou nenpòt reklamasyon se limite a kantite lajan ou peye nou nan twa mwa anvan reklamasyon an te parèt. Nou pa responsab pou nenpòt pèt indirekte oswa konsekan, ki gen ladan nenpòt pèt ki rive soti nan enkyetid sou modèl pwodiksyon.
Rezoud
Ou ka fèmen kont ou nenpòt lè. Nou pral ranbouse kredi ki pa te itilize. Nou ka suspendi kont ki pa respekte kondisyon sa yo oswa ki mete sèvis la an danje.
9. Chanjman, lang ak kontak
Nou ka mete ajou kondisyon sa yo; chanjman ki enpòtan yo pral anonse sou sit la.
Tradiksyon paj sa a bay pou rezon konvenyans e yo fèt pa machin. Lè yon tradiksyon ak vèsyon an angle diferan, vèsyon an angle ap gouvène.
Kesyon: Kontak nou.