Хизмат шартлари
1. Хизмат нима қилади
Сиз талаб ва стандартни тақдим этасиз. Биз уни танлаганингиз AI моделлари панели орқали, шунингдек қабул қилиш мезонлари бўйича ҳукм чиқарадиган ҳакам модели орқали ўтказамиз ва натижани Lean 4 ва Mathlib ўртасида формаллаштиришга уринамиз. Чиқувчи натижа транскрипт, ҳукмлар тўплами, ҳукм ва формаллаштириш уринилган жойда Lean натижасидир.
2. Чиқувчи нима ва чиқмайдиган нима
Натижалар учинчи томоннинг AI моделлари томонидан ишлаб чиқилган ва маслаҳат эмас. Бу юридик, тиббий, молиявий, инженерлик ёки бошқа касб маслаҳати эмас, ва бу хизматни қўллаш билан ҳеч қандай касб алоқаси яратилмайди.
Критерийга жавоб берадиган ҳакам қарори match да қайд этилган далиллар ҳақидаги баёнотдир. Бу тўғрилигига кафолат эмас. AI моделлари хато қилади, манбаларни хато ўқийди ва кўрсатмаларга қарамай, иқтибосларни тўқиб чиқаради. Сиз ишонч билдирмоқчи бўлган нарсани мустақил равишда текширишингиз керакБу, инсон томонидан текширилган мақолалар ўрнига, босим остида текшириш учун воситадир.
Муваффақиятли Lean формализацияси Lean ядроси формализация қилинган баёнотнинг исботини қабул қилганини англатади, бу вақтда фойдаланилган Mathlib версиясига қарши. Бу баёнот сиз сўраган нарсанинг ишончли таржимаси дегани эмас, ва сиз нимани назарда тутганингизни билдирмайдиган формал баёнотни танлаш формал натижани чалғитишнинг энг кенг тарқалган йўлидир. Фақат ҳукмни эмас, формал баёнотни ўқинг.
3. Сизнинг мазмунингиз
You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.
Matches стандарт тарзда шахсий ҳисобланади. Агар сиз match очиқ деб белгиласангиз, у ҳавола билан барчага кўринадиган бўлади ва бизнинг очиқ галереямизда пайдо бўлиши мумкин. match да махфий нарсалар мавжуд бўлса, уни эълон қилманг.
Бошқалар ҳақида шахсий маълумотларни, сизга тегишли бўлмаган махфий материалларни ёки қонунга зид бўлган мазмунларни юборманг.
Кредитлар ва ҳисоб-китоб
Кредит олдиндан тўланган ва matches ишлаганида сарфланади. Ҳар бир match сиз белгилаган сарфлаш чегараси бор; унга етиб бориш matchни сарфлашни давом эттириш ўрнига тўхтатади. Баланслар кўчириб бўлмайди ва қонун талаб қилган ҳоллардан ташқари, сарфланганда қайтарилмайди. Ишлатилмаган кредит талаб қилинганда қайтарилади.
Агар ўзингизнинг индукция қулфингизни улашсангиз, сиз провайдерингизга тўғридан-тўғри тўлов тўлайсиз ва биз ҳар бир токен учун тўловни ҳисоблаймиз. Маълум қилинган бепул миқдордан кейин панел, асбоблар ва сақловни ишга тушириш учун инфратузилма тўлови қўлланилади.
Биз нархларни хабар бериш билан ўзгартиришимиз мумкин. Ўғирлашлар ҳеч қачон харид қилинган кредитга таъсир қилмайди.
Қўлланиши
Хизматдан бошқаларга зарар етказадиган мазмун яратиш учун, бизнинг саволларимиз ёки тизим кўрсатмаларини олиш учун, сарфлаш ёки тариф чегараларини четлаб ўтиш учун ёки ёзма келишувсиз киришни қайта сотиш учун фойдаланманг. Код-экзекуция асбоби талабларни текшириш учун; уни ҳеч қандай тизимга ҳужум қилиш учун ишлатманг.
Алоқа
Биз учинчи томон моделлар етказиб берувчиларига боғлиқмиз. Провайдерлар ишга тушади, моделларни ўзгартиради ва уларни эскирган деб ҳисоблайди. Ҳар қандай сабаб билан тўхтаб қолган match ўчади ва давом эттирилади; биз содир бўлмаган иш учун ҳақ тўлаймиз. Биз тўхтаб қолмаслик кафолатини бермаймиз ва сиз аввалдан фойдаланган модел мавжуд бўлмаслиги мумкин.
Маъмурият
Қонун томонидан рухсат этилган энг кенг миқёсда, хизмат ҳеч қандай кафолатларсиз, ҳозирги ҳолида тақдим этилади. Бизнинг барча талаблар учун жавобгарлигимиз талаб келиб чиқишидан олдинги уч ой ичида бизга тўлаган сумма билан чегараланади. Биз модел қийматига ишонишдан келиб чиққан ҳар қандай зарарни ўз ичига олган, билвосита ёки оқибатли зарар учун жавобгар эмасмиз.
Таъсисчи
Сиз ўз ҳисобингизни ҳар қандай вақтда ёпишингиз мумкин. Биз фойдаланилмаган кредитни қайтариб берамиз. Биз ушбу шартларни бузган ёки хизматни хавф остига қўйган ҳисобларни тўхтатиб қўйишимиз мумкин.
9. Ўғирлашлар, тил ва алоқа
Биз бу шартларни янгилашимиз мумкин; материал ўзгаришлар сайтда эълон қилинади.
Бу саҳифанинг таржималари қулайлик учун тақдим этилган ва машина томонидан яратилган. Таржима ва инглизча версия ўртасида фарқ бўлса, инглизча версия ҳукмронлик қилади.
Саволлар: Биз билан алоқа қилиш.