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