Шартҳои хизматрасонӣ
1. Хизмат чӣ кор мекунад
Шумо талабот ва стандартро пешниҳод мекунед. Мо онро аз панели моделҳои AI, ки шумо интихоб мекунед, ба ғайр аз моделҳои судя, ки дар асоси қоидаҳои қабулшаванда амал мекунанд, иҷро мекунем ва мо кӯшиш мекунем, ки натиҷаро дар Lean 4 муқоиса бо Mathlib шаклӣ кунем. Хурӯҷот ин нусхаи дуруст, маҷмӯи қарорҳо, ҳукм ва дар ҷое, ки кӯшишҳои шаклӣ, натиҷаи Lean мебошад.
2. Чӣ баромад аст ва нест
Дар ин ҷо 3000 нафар аҳолӣ зиндагӣ мекунад, ки аз онҳо 300 нафараш тоҷикон мебошанд. Ин дастури ҳуқуқӣ, тибби, молиявӣ, техникӣ ё касбӣ нест ва бо истифодаи ин хизмат муносибати касбӣ ба вуҷуд намеояд.
The referee ruling a criterion met is a statement about the evidence on record in that match. It is not a guarantee of correctness. AI models make mistakes, misread sources, and can fabricate citations despite instructions not to. You must independently verify anything you intend to rely on, particularly before publishing it, submitting it, or acting on it. This is a tool for pressure-testing work, not a substitute for qualified human review.
Формалистии муваффақонаи Lean маънои онро дорад, ки ядрои Lean тасдиқи таърифро, ки таъриф карда шуда буд, дар муқобили раванди Mathlib- и дар он вақт истифодашуда, қабул кардааст. Ин маънои онро надорад, ки таъриф тарҷумаи дурусти он аст, ки шумо пурсидед, ва интихоби таърифе, ки он чиро, ки шумо дар назар доред, намегӯяд, роҳи маъмултарин барои натиҷаи расмӣ хатогӣ мекунад. Тафсири расмӣ хонед, на танҳо ҳукм.
3. Мазмунҳои шумо
Шумо соҳибӣ кардани талаботҳои фиристодаи шумо ва хурӯҷи барои шумо истеҳсолшударо нигоҳ медоред. Шумо ба мо танҳо иҷозатномаи заруриро барои коркарди хизматрасонӣ: барои коркард кардани фиристодаи шумо, фиристодани он ба провайдерҳои модели интихобшуда ва захира кардани натиҷаи match, то ки шумо ба он баргардед.
Matches бо нобаёнӣ махфӣ мебошанд. Агар шумо match- ро оммавӣ нишон диҳед, он барои ҳар касе, ки пайванд дорад, дида мешавад ва метавонад дар галереяи оммавӣ пайдо шавад. match- ро, ки дорои ягон чизҳои махфӣ мебошад, нашр накунед.
Маълумоти шахсиро дар бораи дигарон, маводи махфиро, ки шумо ҳаққи ба ҳамдигар тақсим карданро надоред, ё мундариҷаи ғайриқонуниро фиристод накунед.
& Иловаи забон
Кредит пешпардохт карда мешавад ва ҳангоми иҷрои matches истифода бурда мешавад. Ҳар як match дорои маҳдудияти хароҷот мебошад, ки шумо онро танзим мекунед; расидан ба он match- ро ба ҷои идомаи хароҷот бозмедорад. Муодилаҳо интиқолнопазир мебошанд ва, ба истиснои ҳолатҳое, ки қонун талаб мекунад, пас аз истифода бурдани онҳо баргардонида намешаванд. Кредити истифоданашуда дар дархости баргардонида мешавад.
Агар шумо калиди худи худро пайваст кунед, шумо ба провайдератон бевосита пардохт мекунед ва мо барои ҳар як нишона пардохт намекунем. Пас аз гузаронидани иҷозатномаи озоди зикршуда барои иҷрои панел, асбобҳо ва захиракунӣ пардохти инфрасохтор татбиқ мешавад.
Мо метавонем нархҳоро бо огоҳӣ тағйир диҳем. Тағйиротҳо ҳеҷ гоҳ ба кредитҳои аллакай харидашуда таъсир намерасонанд.
Истифодаи қабулшаванда
Ин хизматро барои эҷоди мундариҷае, ки ба дигарон зарар мерасонад, барои кӯшиш ба гирифтани дастурҳои мо ё дастурҳои система, барои гузаронидани маҳдудиятҳои хароҷот ё суръат, ё барои фурӯши дубораи дастрасӣ бе шартномаи хаттӣ истифода набаред. Абзори иҷрои код барои тасдиқи даъвоҳо мебошад; онро барои ҳамла ба ягон система истифода набаред.
Дастрасӣ
Мо ба провайдерҳои дигари моделҳо такя мекунем. Провайдерҳо ба поён мераванд, моделҳоро иваз мекунанд ва онҳоро аз кор мебаранд. match- и бо ягон сабаб қатъшуда, боздошта мешавад ва идома дода мешавад; мо барои корҳое, ки рух надоданд, пардохт намекунем. Мо дастрасии бе қатъро кафолат намедиҳем ва моделе, ки шумо пештар истифода карда будед, метавонад дастрас набошад.
Масъулият
Дар доираи қонун, хизматрасонӣ бе ягон кафолати намуди хизматрасонӣ пешниҳод карда мешавад. Масъулияти умумии мо барои ҳар гуна талабот бо маблағе, ки шумо ба мо дар се моҳи пеш аз пайдо шудани талабот пардохт кардаед, маҳдуд аст. Мо барои зарари ғайримустақим ё оқибатӣ, аз ҷумла зараре, ки аз вобастагии ба ҳосили модел пайдо мешавад, масъул нестем.
& Хомӯш кардан
Шумо метавонед ҳисоби худро дар ҳар вақт пӯшида, мо қарзи истифоданашударо бармегардонем. Мо метавонем ҳисоби шуморо, ки ин шартҳоро вайрон мекунад ё хидматро дар хатар мегузорад, боздорем.
Дигаргуниҳо, забон ва алоқа
Мо метавонем ин шартҳоро навсозӣ кунем; тағйироти муҳим дар сайт эълон карда мешаванд.
Тарҷумаҳои ин саҳифа барои осонӣ ва бо воситаи мошина сохта шудаанд. Дар ҳолате, ки тарҷума ва версияи англисӣ фарқ мекунанд, версияи англисӣ бартарӣ дорад.
Саволҳо: Ба мо тамос гиред.