Hizmet Şartları
1. Hizmetin ne yaptığını
Bir iddia ve standart sunuyorsunuz. Biz bunu sizin seçtiğiniz yapay zeka modellerinin bir paneli üzerinden yürütüyoruz, artı kabul kriterlerini yöneten bir hakem modeli ve sonuçları Lean 4'e karşı Mathlib'de resmileştirmeye çalışıyoruz. Çıkış bir metin, bir dizi karar, bir karar ve resmileştirme girişimi olduğunda, Lean sonucudur.
2. Ne çıkıyor ne çıkmıyor
Çıkış üçüncü taraf AI modelleri tarafından üretilir ve tavsiye değildir. Bu, herhangi bir hukuki, tıbbi, finansal, mühendislik veya profesyonel tavsiye değildir ve bu hizmet kullanılarak profesyonel bir ilişki oluşturulmamaktadır.
Hakem kriterlerin karşılandığını söyler, bu match'de kayıtlı kanıtlar hakkında bir açıklamadır. doğruluğun garantisi değildir. yapay zeka modelleri hata yapar, kaynakları yanlış okur ve talimatlara rağmen alıntı yapabilir. Güvenmek istediğiniz her şeyi bağımsız olarak doğrulamalısınız.Bu, basınç testleri için bir araçtır, nitelikli insan incelemesinin bir yerini tutmaz.
Başarılı bir Lean formalizasyonu, Lean çekirdeğinin, o zaman kullanılan Mathlib sürümüne karşı, formalize edilmiş ifadenin bir kanıtını kabul ettiği anlamına gelir. Bu, bu ifadenin, istediğinizin doğru bir çevirisi olduğu anlamına gelmez ve anlamını söylemeyen bir formal ifadeyi seçmek, formal sonuçların en yaygın yanlış anlaşılmasına yol açar. Sadece karar değil, formal ifadeyi okuyun.
3. İçeriğiniz
Gönderdiğiniz iddiaların ve sizin için üretilen sonuçların mülkiyetini siz koruyorsunuz. Bize sadece hizmeti işletmek için gerekli lisansı veriyorsun: gönderdiğinizi işlemek, seçtiğiniz model sağlayıcılarına iletmek ve sonuçlanan match'i geri dönebileceğiniz şekilde depolamak için.
Matches'ler varsayılan olarak özeldir. Eğer bir match'i kamusal olarak işaretlerseniz, bağlantısı olan herkes tarafından görülebilir hale gelir ve kamu galerimizde görünebilir. Gizli bir şey içeren bir match'i yayınlamayın.
Başkaları hakkında kişisel bilgiler, paylaşmaya hakkı bulunmayan gizli materyaller veya yasadışı içerik göndermeyin.
Kredi ve fatura
Kredi ön ödemelidir ve matches çalıştığı zaman tüketilmektedir. Her match'in belirlediğiniz bir harcama limiti vardır; buna ulaşıldığında harcamaya devam etmek yerine match durdurulur. Hesaplar transfer edilemez ve yasa tarafından gerekli olduğu durumlar hariç, tükendikten sonra geri ödenmez. Kullanılmamış kredi, isteğe bağlı olarak geri ödenir.
Eğer kendi çıkarım anahtarınızı bağlarsanız, sağlayıcınıza doğrudan ödeme yapacaksınız ve token başına ücret ödemeyeceğiz. Belirlenen ücretsiz kotanın ötesinde panelin çalışması, araçlar ve depolama için bir altyapı ücreti uygulanır.
Fiyatları bildirimle değiştirebiliriz.
Kabul edilebilir kullanım
Hizmeti başkalarına zarar veren içerik üretmek, bizim talimatlarımızı veya sistem talimatlarımızı çıkarmaya çalışmak, harcama veya oran sınırlarını geçmek veya yazılı bir anlaşma olmadan erişimi yeniden satmak için kullanmayın. Kod yürütme aracı iddiaları doğrulamak içindir; herhangi bir sisteme saldırmak için kullanmayın.
Ulaşılabilirlik
Üçüncü taraf model sağlayıcılarına güveniyoruz. Sağlayıcılar çöker, model değiştirir ve onları eski haline getirir. Herhangi bir nedenden dolayı kesilmiş bir match durdurulur ve devam edilir; yapılmamış bir iş için ücret almıyoruz. Kesintisiz kullanımı garanti etmiyoruz ve önceden kullandığınız bir model kullanılamaz hale gelebilir.
Sorumluluk
Yasa tarafından izin verilen en geniş ölçüde, hizmet herhangi bir garanti olmadan aynen sunulmaktadır. Her türlü talep için toplam sorumluluğumuz, talep oluşmadan önceki üç ay içinde bize ödediğiniz miktarda sınırlıdır. Model çıktısına güvenerek ortaya çıkan herhangi bir zarar da dahil olmak üzere, dolaylı veya sonuçsal zararlardan sorumlu değiliz.
Sonuç
Hesabınızı her zaman kapatabilirsiniz. Kullanılmamış krediyi geri ödeyeceğiz. Bu şartları ihlal eden veya hizmete zarar veren hesapları askıya alabiliriz.
9. Değişiklikler, dil ve iletişime geçme
Bu şartları güncelleyebiliriz; önemli değişiklikler sitede ilan edilecek.
Bu sayfanın çevirileri kolaylık için sağlanmıştır ve makine tarafından üretilmiştir. Bir çeviri ile İngilizce sürümünün farklı olduğu durumlarda, İngilizce sürüm geçerlidir.
Sorular: Bize ulaş.