Колдонуу шарттары
1. Сервистин функциялары
Сиз талап жана стандартты жөнөтөсүз. Биз аны сиз тандаган AI моделдеринин панели аркылуу жүргүзөбүз, ошондой эле кабыл алуу критерийлерин аныктаган арбитраждык модель, жана биз натыйжаны Lean 4 менен Mathlib ортосунда формалаштырууга аракет кылабыз. Чыгыш - бул транскрипт, чечимдердин топтому, өкүм, жана формалаштыруу аракети болгондо, Lean натыйжасы.
2. Кайсы чыгарылыш болуп саналат жана кайсы чыгарылыш эмес
Чыгыш үчүнчү тараптын AI моделдери тарабынан генерацияланган жана кеңеш эмес. Бул юридикалык, медициналык, финансылык, инженердик же башка кандайдыр бир профессионалдык кеңеш эмес, жана бул кызматты колдонуу менен эч кандай профессионалдык мамилелер түзүлгөн эмес.
Критерийге жооп берген арбитрдин чечими бул оюндун тарыхындагы далилдер жөнүндөгү билдирүү. Бул тууралыгынын кепилдиги эмес. AI моделдери ката кетирет, булактарды туура эмес окуйт жана цитаттар жасалмаланып, ага каршы көрсөтмөлөрдү аткарууга мүмкүндүк берет. Сиз ишенимдүү деп эсептеген нерселерди өзүңүз текшеришиңиз керекБул файлды чыгаруудан, жөнөтүүдөн же ага иштөөдөн мурун текшерип көрүңүз. Бул - басымды текшерүү үчүн колдонулган аспап, ал эми квалификациялуу адам тарабынан текшерүүнүн ордуна келбейт.
Lean формализациясынын ийгиликтүү болушу Lean ядросунун формализацияланган билдирүүнүн далилин кабыл алгандыгын билдирет, ал учурда колдонулган Mathlib версиясына каршы. Бул билдирүү сиздин сурооңуздун так которулушу дегенди билдирбейт, жана сиздин максатыңызды билдирбеген формалдык билдирүүнү тандоо формалдык натыйжаны алдап кетүүнүн эң кеңири тараган жолу. Формалдык билдирүүнү окуңуз, тек гана өкүмдү эмес.
3. Сиздин мазмунуңуз
Сиз өзүңүздүн тапшырган маалыматтарыңыздын жана сиз үчүн түзүлгөн чыгарылыштардын ээси болуп каласыз. Сиз бизге кызматты иштетүү үчүн гана лицензия бересиз: сиздин тапшырмаңызды иштетүү, аны тандалган моделдерди камсыздоочуларга жөнөтүү жана натыйжадагы шайкештикти сактоо үчүн, ошондо сиз аны кайрадан колдоно аласыз.
Соответствия по умолчанию являются частными. Если вы отметите соответствие как публичное, оно станет видимым для всех, кто имеет ссылку, и может быть показано в нашей публичной галерее. Не публикуйте соответствия, содержащие что-либо конфиденциальное.
Башкалар жөнүндө жеке маалыматтарды, сиздин бөлүшүүгө укугуңуз жок сырдуу материалдарды же мыйзамсыз мазмунду жөнөтпөңүз.
Кредиттер жана эсепке алуу
Кредит алдын-ала төлөнөт жана оюндар жүрүп жатканда колдонулат. Ар бир оюндун сиз аныктаган чыгым лимити бар; ага жеткенде, оюнду токтотуу керек, чыгымдарды улантуу керек эмес. Баланстарды өткөрүп берүү мүмкүн эмес жана, мыйзамда көрсөтүлгөн учурлардан башка, колдонулгандан кийин кайтарылбайт. Колдонулбаган кредиттер талап кылынганда кайтарылат.
Эгер сиз өз алдынча индукциялык ачкычты кошуп алсаңыз, анда сиз провайдериңизге түз эле төлөйсүз, биз болсо бир токен үчүн эч кандай төлөм албайбыз. Эгерде сизде көрсөтүлгөн акысыз мүмкүнчүлүктөн ашыкча болсо, анда панель, аспаптар жана сактоочу жайдын иштешин камсыз кылуу үчүн инфраструктуралык төлөм алынат.
Биз бааны алдын ала кабарлоо менен өзгөртө алабыз. Ал өзгөртүүлөр сатып алынган кредитке эч качан тиешелүү эмес.
Колдонууга уруксат
Сервисти башкаларга зыян келтирүүчү мазмунду түзүү үчүн, биздин суроолорубузду же системалык инструкцияларды алууга аракет кылуу үчүн, чыгымдарды же тарифтик чектөөлөрдү бузуу үчүн же жазуу түрүндө макулдуксуз кирүү укугун кайра сатуу үчүн колдонбоңуз. Кодду аткаруу аспабы талаптарды текшерүү үчүн; эч кандай системага чабуул жасоо үчүн колдонбоңуз.
Доступность
Биз үчүнчү жактардын моделдеринин провайдерлерине көз карандыбыз. Провайдерлер иштен чыгып, моделдерин өзгөртүп, эскирген моделдерин колдонуп калышат. Кайсы бир себептер менен токтотулган шайкештик токтотулуп, кайрадан башталат; биз эч кандай иш-аракеттерди жасабайбыз. Биз үзгүлтүксүз жеткиликтүүлүктү кепилдик бере албайбыз, жана сиз мурда колдонгон модель жеткиликсиз болуп калышы мүмкүн.
Жүктөө
Мыйзам тарабынан уруксат берилген максималдуу өлчөмдө, кызмат кандайдыр бир кепилдиксиз, кандайдыр бир кепилдиксиз берилет. Биздин жалпы жоопкерчилигибиз ар кандай доо үчүн сиз бизге төлөгөн суммага чейин чектелет. Биз түз же кыйыр жоготуулар үчүн жоопкерчиликти албайбыз, анын ичинде моделдин чыгарылышына ишенүүдөн келип чыккан жоготуулар.
Жайгаштыруу
Сиз каалаган убакта эсеп-фактураңызды жаба аласыз; биз колдонулбаган кредиттерди кайтарып беребиз. Биз бул шарттарды бузган же кызматты тобокелге салган эсеп-фактураларды токтото алабыз.
Изменения, язык и контакты
Биз бул шарттарды жаңыртууга укуктуубуз; материалдык өзгөртүүлөр сайтта жарыяланат.
Бул барактын которулуштары ыңгайлуулугу үчүн жана машиналык түрдө жасалган. Эгерде которуу жана англис версиясы ортосунда айырмачылыктар болсо, анда англис версиясы артыкчылыкка ээ.
Суроо: Биз менен байланыш.