Условия на ползване
1. Какво прави услугата
Ние го провеждаме през панел от модели на МА, които изберете, плюс модел на съдия, който се прави за критериите за приемане, и се опитваме да формализираме резултата от Lean 4 срещу Mathlib. Изходът е транскрипт, набор от решения, присъда, и където е опитано формализирането, резултатът от Лиан.
2. Какво е изходът и не е
Резултатът се генерира от модели на АИ от трети страни и не е съвет. Тя не е правна, медицинска, финансова, инженерна или професионална съвети от какъвто и да е вид, и не се създават професионални взаимоотношения чрез използването на тази услуга.
Съдията, който решава изпълнен критерий е изявление за записаните доказателства в този мач. Тя не е гаранция за правилност. AI модели правят грешки, погрешно четене източници, и може да измисли цитати въпреки инструкциите, които не трябва. Трябва да проверите независимо всичко, на което възнамерявате да разчитатеТова е инструмент за тестване на налягане, а не заместник за квалифициран човешки преглед.
Успешна лен формализация означава лъжецът ядрото прие доказателство за изявлението, което е било формализирано, срещу версията на Mathlib, използвани по това време. Това не означава, че изявлението е верен превод на това, което поиска, и избор на официална декларация, която не казва това, което имате предвид е най-често срещаният начин, официален резултат заблуждава. Прочетете официалния изявление, не само присъдата.
3. Вашето съдържание
Вие държите собствеността на претенциите, които подавате, и на произведеното за вас производство. Вие ни предоставяте само лиценза, необходима за експлоатация на услугата: за да обработите подаване, да го предадете на моделните доставчици, които сте избрали, и съхраняване на резултатите от мача, така че можете да се върнете към него.
Мачовете са частни по подразбиране. Ако маркирате съвпадение публично, той става видим за всеки с връзката и може да се появи в нашата обществена галерия. Не публикувайте мач, съдържащ нищо конфиденциално.
Не представяйте лични данни за други, поверителни материали, които не сте получили право да споделяте, или съдържание, което е незаконно.
4. Заслуги и разплащане
Кредитът е предварително платен и се консумира като мачове, които сте установили. Всеки мач има ограничение за разходите, достигайки го паузира мача, вместо да продължава да харчи. Балансите не са прехвърляеми и, с изключение на това, когато се изисква по закон, не се възстановяват веднъж консумирани. Неизползваният кредит е възстановен при поискване.
Ако свържете собствения си ключ за преценка, плащате на вашия доставчик директно и ние сметнете без такса за всеки-такен. Минава посоченото безплатно такса за инфраструктура се прилага за покриване на управлението на панела, инструменти и съхранение.
Можем да променим цените с известие. Промените никога не се прилагат за вече закупени кредити.
5. Приемливо използване
Не използвайте услугата за генериране на съдържание, което наранява другите, за да се опитат да извлечете нашите искания или инструкции за системата, за обхващане на ограниченията на разходите или лихвите проценти, или за препродажба на достъп без писмена договореност. Инструментът за изпълнение код е за проверка на твърденията; не го използвайте за атака на всяка система.
6. Наличност
Ние зависим от доставчиците на трети страни модел. Доставчиците отиват надолу, променят модели и ги обезпокояват. Мачът е прекъснат по всяка причина е паузиран и възобновяем; ние не таксуваме за работа, която не е станала. Ние не гарантираме непрекъсната наличност, а модел, който сте използвали преди може да стане недостъпен.
7. Отговорност
В най-пълната степен, разрешена от закона, услугата се предоставя както е без никакви гаранции. Общата ни отговорност за всяко искане е ограничена до сумата, която ни платихте през трите месеца преди възникването на искането. Ние не сме отговорни за непряка или последваща загуба, включително всяка загуба, произтичаща от разчитането на модела на производство.
8. Прекратяване на срока на действие
Може да затворите сметката си по всяко време; ние ще възстановим неизползван кредит. Може да преустановим сметки, които нарушават тези условия или които поставят услугата под риск.
9. Промени, език и контакт
Можем да актуализираме тези условия; материални промени ще бъдат обявени на сайта.
Преводите на тази страница са предоставени за удобство и са машинно-продуцирани. Когато превод и английската версия се различават, английската версия управлява.
Въпроси: Свържете се с нас.