Xidmət Şərtləri
1. Xidmət nə edir
Siz bir iddia və standart təqdim edirsiniz. Biz onu seçdiyiniz AI modellərinin paneli ilə, qəbul kriteriyaları ilə hökm edən bir hakim modeli ilə idarə edirik və nəticəni Lean 4 ilə Mathlib arasında formallaşdırmağa çalışırıq. Çıxış transkript, hökmlər toplusu, hökm və formallaşdırma cəhd edildiyi yerlərdə, Lean nəticəsidir.
2. Nə çıxıntıdır və nə deyil
Bu modellər üçüncü tərəf AI modelləri tərəfindən yaradılır və məsləhət deyil. Bu, hüquqi, tibbi, maliyyə, mühəndislik və ya hər hansı bir növ peşəkar məsləhət deyil, və bu xidməti istifadə etməklə heç bir peşəkar münasibət yaradılmır.
Kriteriyanı ödəyən hakimin qərarı bu matçda qeyd olunan sübutlar haqqında bir ifadədir. Bu doğruluğun zəmanəti deyil. AI modelləri səhvlər edir, mənbələri yanlış oxuyur və əmrlərə baxmayaraq istinadları düzəldə bilər. Siz etibar etmək istədiyiniz hər şeyi müstəqil olaraq təsdiqləməlisinizBu, təzyiq-sınaq işi üçün bir alətdir, insan təhlilinin əvəzi deyil.
Müvəffəqiyyətli Lean formalizasiyası Lean kernelinin o vaxt istifadədə olan Mathlib versiyasına qarşı formalizasiya edilmiş ifadənin sübutunu qəbul etdiyini bildirir. Bu ifadənin istədiyinizin doğru tərcüməsi olduğu anlamına gəlmir və istədiyinizi bildirməyən formal ifadə seçmək formal nəticənin ən çox yanlışa apardığı yollardan biridir. Yalnız hökmü deyil, formal ifadəni oxuyun.
Məzmun
Siz təqdim etdiyiniz iddiaların və sizin üçün hazırlanan nəticələrin mülkiyyətini qoruyursunuz. Siz bizə xidməti idarə etmək üçün lazım olan lisenziyanı verirsiniz: təqdim etdiyiniz məlumatları prosesləşdirmək, seçdiyiniz model təminatçılarına göndərmək və nəticədə yaranan uyğunluğu saxlamaq üçün, buna geri qayıtmaq üçün.
Matçlar ön qurğulu olaraq şəxsidir. Əgər matçı ictimai olaraq qeyd etsəniz, o, körpünün olduğu hər kəsin görə biləcəyi və ictimai galerimizdə görünə biləcəkdir. Qüvvədə olan bir şeyi ehtiva edən matçları yayımlama.
Başqaları haqqında şəxsi məlumatlar, paylaşmaq hüququnuz olmayan gizli materiallar və ya qanunsuz məzmun göndərməyin.
Kreditlər və hesablaşmalar
Kreditlər əvvəlcədən ödənilir və oyunlar oynandıqca istifadə edilir. Hər oyun sizin müəyyən etdiyiniz xərcləmə həddi var; bu həddi keçdikdə oyun xərcləməyə davam etmək əvəzinə dayandırılır. Balanslar köçürülə bilməz və qanunla tələb olunduğu hallarda istisna olmaqla, istifadə edildikdən sonra geri qaytarıla bilməz. İstifadə edilməmiş kreditlər istənilən halda geri qaytarıla bilər.
Özünüzün inference açarını qoşsanız, xidmətçinizə doğrudan-doğruya ödəyirsiniz və biz hər token üçün heç bir ödəniş etmirik. Verilən pulsuz icazədən sonra panelin, alətlərin və saxlamanın işləməməsi üçün infrastruktur ödənişi tətbiq olunur.
Biz qiymətləri xəbərdarlıqla dəyişə bilərik. Dəyişənlər artıq satın alınmış kreditlərə heç vaxt tətbiq olunmur.
Təsdiqlənmiş istifadə
Bu xidməti başqalarına zərər verə biləcək məzmun yaratmaq üçün, sistem əmrlərini və ya sistem göstərişlərini əldə etmək üçün, xərcləmə və ya sürət həddlərini keçmək üçün, ya da yazılı razılaşma olmadan girişi yenidən satmaq üçün istifadə etməyin. Kod-icra aləti iddiaları təsdiqləmək üçündür; heç bir sistemə hücum etmək üçün istifadə etməyin.
İmkan
Biz üçüncü tərəf model təminatçılarına arxalanırıq. Təchizatçılar çökür, modelləri dəyişir və onları köhnəldir. Hər hansı səbəbdən dayandırılmış bir uyğunluq dayandırılır və davam etdirilə bilər; baş verməmiş iş üçün ödəniş etmirik. Biz fasiləsiz mövcudluğu təmin etmirik və əvvəl istifadə etdiyiniz model mövcud ola bilməz.
Məsuliyyət
Qanunla icazə verilən ən geniş həddə xidmət heç bir zəmanət olmadan "olan kimi" olaraq təqdim edilir. Hər hansı bir iddia üçün bizim ümumi məsuliyyətimiz iddianın yaranmasından üç ay əvvəl bizə ödədiyiniz məbləğlə məhdudlaşır. Biz model çıxarışına etibar etməkdən yaranan hər hansı bir zərər daxil olmaqla, qeyri-təbii və ya nəticəli zərərlərə cavabdeh deyilik.
_Sonrakı
Hesabınızı hər zaman bağlaya bilərsiniz; istifadə edilməmiş krediti geri qaytaracağıq. Bu şərtləri pozan və ya xidməti riskə atan hesabları dayandıra bilərik.
Dəyişmələr, dil və əlaqə
Biz bu şərtləri yeniləyə bilərik; material dəyişikliklər saytda elan ediləcək.
Bu səhifənin tərcümələri rahatlıq üçün verilir və maşın tərəfindən hazırlanır. Tərcümə və İngilis versiyası arasında fərq olduğu zaman İngilis versiyası üstündür.
Sual: Bağlan.