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ı match-də qeyd olunan sübut 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 match-i saxlamaq üçün, buna geri qayıtmaq üçün.
Matches-lər ön qurğulu olaraq şəxsidir. Əgər match-i ictimai olaraq qeyd etsəniz, bu, körpünün olduğu hər kəsin görə biləcəyi və ictimai qalereyada görünə biləcək bir şey olacaqdır. Qüvvədə olan bir şeyi ehtiva edən match-ləri 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
Kredit əvvəlcədən ödənilir və matches işlədikcə istifadə olunur. Hər match-in müəyyən etdiyiniz xərcləmə həddi var; bu həddi keçdikdə match xərcləməyə davam etmədən dayanır. Balanslar köçürülə bilməz və qanunla tələb olunduğu halda istisna olmaqla, istifadə edildikdən sonra geri qaytarıla bilməz. İstifadə edilməmiş kredit 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 güvənirik. Təchizatçılar çökür, modelləri dəyişir və onları köhnəldir. Hər hansı səbəbdən kəsilmiş match dayandırılır və davam etdirilə bilər; baş verməmiş iş üçün ödəniş etmirik. Biz kəsilməyən 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.