Колдонуу шарттары
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-терминде Matches-терминде жеке маалыматтарды сактоого уруксат берилет. Эгерде сиз ачык match-терминди белгилсеңиз, анда ал шилтемеси бар бардык адамдарга көрүнөт жана биздин ачык галереябызда да көрсөтүлөт. match-терминде жашыруун маалыматтарды сактоого уруксат берилбейт.
Башкалар жөнүндө жеке маалыматтарды, сиздин бөлүшүүгө укугуңуз жок сырдуу материалдарды же мыйзамсыз мазмунду жөнөтпөңүз.
Кредиттер жана эсепке алуу
Кредит алдын-ала төлөнөт жана matches иштей баштаганда колдонулат. Ар бир matchде сиз аныктаган чыгымдар чеги бар; ага жеткенде, match чыгымдарды улантуудан баш тартып, токтойт. Баланстарды өткөрүп берүү мүмкүн эмес жана, мыйзамда көрсөтүлгөн учурлардан башка, бир жолу колдонулгандан кийин кайтарылбайт. Колдонулбаган кредит талап кылынганда кайтарылат.
Эгер сиз өз алдынча индукциялык ачкычты кошуп алсаңыз, анда сиз провайдериңизге түз эле төлөйсүз, биз болсо бир токен үчүн эч кандай төлөм албайбыз. Эгерде сизде көрсөтүлгөн акысыз мүмкүнчүлүктөн ашыкча болсо, анда панель, аспаптар жана сактоочу жайдын иштешин камсыз кылуу үчүн инфраструктуралык төлөм алынат.
Биз бааны алдын ала кабарлоо менен өзгөртө алабыз. Ал өзгөртүүлөр сатып алынган кредитке эч качан тиешелүү эмес.
Колдонууга уруксат
Сервисти башкаларга зыян келтирүүчү мазмунду түзүү үчүн, биздин суроолорубузду же системалык инструкцияларды алууга аракет кылуу үчүн, чыгымдарды же тарифтик чектөөлөрдү бузуу үчүн же жазуу түрүндө макулдуксуз кирүү укугун кайра сатуу үчүн колдонбоңуз. Кодду аткаруу аспабы талаптарды текшерүү үчүн; эч кандай системага чабуул жасоо үчүн колдонбоңуз.
Доступность
Биз үчүнчү тараптын моделдеринин провайдерлерине көз карандыбыз. Провайдерлер иштен чыгып, моделдерин өзгөртүп, эскирген моделдерин колдонуп калышат. Кайсы бир себептер менен токтотулган match-сервер токтотулуп, кайрадан иштей баштайт; биз эч кандай төлөмдү талап кылбайбыз. Биз үзгүлтүксүз жеткиликтүүлүктү кепилдик бере албайбыз, жана сиз мурда колдонгон модель жеткиликсиз болуп калышы мүмкүн.
Жүктөө
Мыйзам тарабынан уруксат берилген максималдуу өлчөмдө, кызмат кандайдыр бир кепилдиксиз, кандайдыр бир кепилдиксиз берилет. Биздин жалпы жоопкерчилигибиз ар кандай доо үчүн сиз бизге төлөгөн суммага чейин чектелет. Биз түз же кыйыр жоготуулар үчүн жоопкерчиликти албайбыз, анын ичинде моделдин чыгарылышына ишенүүдөн келип чыккан жоготуулар.
Жайгаштыруу
Сиз каалаган убакта эсеп-фактураңызды жаба аласыз; биз колдонулбаган кредиттерди кайтарып беребиз. Биз бул шарттарды бузган же кызматты тобокелге салган эсеп-фактураларды токтото алабыз.
Изменения, язык и контакты
Биз бул шарттарды жаңыртууга укуктуубуз; материалдык өзгөртүүлөр сайтта жарыяланат.
Бул барактын которулуштары ыңгайлуулугу үчүн жана машиналык түрдө жасалган. Эгерде которуу жана англис версиясы ортосунда айырмачылыктар болсо, анда англис версиясы артыкчылыкка ээ.
Суроо: Биз менен байланыш.