Услови за услугу
1. Шта сервис ради
Покрећемо га поред панела модела ВИ које изаберете, плус модела судије који предлаже критеријуме прихватања, и покушавамо да оформимо резултат Lean 4 против Mathlib.
2. Шта је излаз и није
Излаз је генерисан од стране модела АИ треће стране и није савет. То није законски, медицински, финансијски, инжењерски или професионални савет било које врсте, и ниједан професионални однос није створен користећи ову услугу.
Судија који одлучује о испуњеном критерију је изјава о доказима који су записани у том match. То није гаранција исправности. АИ модели праве грешке, погрешно прочитати изворе, и може измишљати цитате упркос упутствама да не. Морате независно проверити све на шта се намеру ослањатеОво је алат за рад тестирања притиска, а не замена за квалификовану људску ревизију.
Успешна формализација лигања значи да је језгра прихватила доказ о изјави која је била формализована, против верзије Mathlib које је користила у то време. То не значи да је изјава верна превод о ономе што сте тражилизбор формалног изјаве који не говори оно што сте мислили је најчешћи начин на који је званични резултат заварао. Прочитајте формално изјаву, не само пресуду.
3. Ваш садржај
Задржавате власништво потврда које поднесете и попут резултата које вам је продуцирао. Дајете нам само дозволу потребну за рад на сервису: да обрадите подношење, да га пренесете до добављача модела које сте изабрали, и дате резултат match да бисте могли да се вратите на њега.
Matches је подразумевано приватно. Ако обележите match јавност, то ће бити видљиво свакоме ко има везу и може се појавити у нашој јавној галерији.
Не подношите лични подаци о другима, поверљиви материјали које немате право да делите, или садржај који је незаконито.
4. Заслуге и рачуни
Кредит је преплаћен и потрошен је као matches покрет. Сваки match има ограничење трошкова које сте поставили; достизање га паузира match уместо да настави да троши. Баланси нису преносљиви и, осим ако је законопошто је потребно, не могу се повратити. Неискоришћени кредит се враћа на захтев.
Ако повежете свој сопствени кључ закључка, платите директно свог провајдера и не наплаћујемо по такмичењу. Прошли смо наведени бесплатни додатак, накнада за инфраструктуру важи за покриће покретања панела, алата и складиштања.
Промене се никада не примењују на кредит који је већ купљен.
5. Прихватљиво употребљавање
Не користите сервис да створите садржај који наноси штету другима, покушајте да извучете наше упутства или системске упутства, да заобиђете ограничења трошкова или процена, или да поново продате приступ без писмена споразума. Алат за извршавање кода је за пров› јеру тврдњи; не користите га за напад на било који систем.
6. доступност
Зависимо од провајдера модела треће стране. Добављачи иду доле, мењају моделе и лишавају их. match прекинуто из било ког разлога је паузирано и подносљиво; не наплаћујемо посао који се није десио. Не гарантујемо непрекинуту доступност, а модел који сте користили пре може постати недоступан.
7. Одговорност
У најмањем степену дозвољеном законом, служба је обезбеђена као што је без налога било које врсте. Наша укупна одговорност за било какву тврдњу је ограничена на суму коју сте нам платили у три месеца пре него што је потражња настао.
8. Прекид
Можете затворити рачун у било које време; ми ћемо вратити неискористене кредите. Можемо суспендовати налоге који пробијају ове услове или који ризикују услугу.
9. Пром› јене, језик и контакт
Можемо ажурирати ове услове; материјалне промене ће бити најављене на сајту.
Преводи ове странице пружају се за пријатност и машински су израђени. Где превод и енглеска верзија различити, енглеска верзија управља.
Питања: Контактирај нас.