सेवाको शर्तहरू
1. सेवा के गर्छ
तपाईं एक दाबी र एक मानक पेश. हामी तपाईं चयन एआई मोडेल को एक प्यानल पछि यो चलाउन, प्लस एक न्यायाधीश मोडेल स्वीकार मा मा नियम कि, र हामी Mathlib विरुद्ध Lean 4 मा परिणाम formalise गर्न प्रयास. उत्पादन एक transcript छ, rulings को एक सेट, एक फैसला, र जहाँ formalization प्रयास गरिएको थियो, को Lean परिणाम.
2. के उत्पादन छ र छैन
यसले यसको स्थायीत्वलाई सुनिश्चित गर्दछ र यसको कुनै पनि प्रकारको हानि हुँदैन। यो कानूनी छैन, चिकित्सा, वित्तीय, कुनै पनि प्रकारको इन्जिनियरिङ वा व्यावसायिक सल्लाह, र कुनै व्यावसायिक सम्बन्ध यो सेवा प्रयोग गरेर सिर्जना गरिएको छ.
एक मापदण्ड पूरा एक मापदण्ड शासन न्यायाधीश त्यो खेल मा रेकर्ड मा प्रमाण बारेमा एक बयान छ. यो सही को एक ग्यारेन्टी छैन. एआई मोडेल गल्ती, स्रोतहरू misread, र निर्देशन बावजुद उद्धरण fabricate गर्न सक्नुहुन्छ. तपाईँले स्वतन्त्र रूपमा तपाईँले विश्वास गर्ने कुनै पनि कुरा रुजु गर्नुपर्दछ, विशेष गरी यो प्रकाशित अघि, यो पेश, वा यो मा कार्य. यो दबाव परीक्षण काम लागि एक उपकरण छ, योग्य मानव समीक्षा लागि एक प्रतिस्थापन छैन.
एक सफल Lean formalization अर्थ Lean कर्नेल, त्यो समयमा प्रयोग मा Mathlib को संस्करण विरुद्ध, formalized थियो कि बयान को प्रमाण स्वीकार. यो बयान तपाईं सोधे के को एक विश्वासी अनुवाद छ कि मतलब छैन, र तपाईं मतलब के भन्न छैन कि एक औपचारिक बयान चयन एक औपचारिक परिणाम misleads सबैभन्दा सामान्य तरिका छ. औपचारिक बयान पढ्नुहोस्, मात्र न्यायाधीश छैन.
3. तपाईंको सामग्री
तपाईं पेश गरेको दाबी र तपाईं लागि उत्पादन निर्गत को मालिकाना राख्न. तपाईं हामीलाई सेवा सञ्चालन गर्न आवश्यक मात्र लाइसेन्स प्रदान: प्रक्रिया गर्न आफ्नो पेश, तपाईं चयन मोडेल प्रदायक यो प्रसारण, र भण्डारण परिणाम मिलान त्यसैले तपाईं यो फर्कन सक्नुहुन्छ.
पूर्वनिर्धारित रूपमा मिल्दोहरू निजी हुन्छन् । यदि तपाईँले मिल्दो सार्वजनिकमा चिनो लगाउनु भयो भने यो लिङ्क भएको कुनै पनि व्यक्तिलाई दृश्यात्मक हुन्छ र हाम्रो सार्वजनिक ग्यालरीमा देखा पर्न सक्छ । गोप्य केही समाविष्ट मिल्दो प्रकाशन नगर्नुहोस् ।
अरूलाई बारेमा व्यक्तिगत डाटा पेश नगर्नुहोस्, गोप्य सामाग्री तपाईं साझेदारी गर्न अधिकार छैन, वा अवैध छ कि सामग्री.
4. क्रेडिट र बिलिङ
क्रेडिट पूर्व भुक्तानी छ र खेल चलाउन रूपमा खपत छ। हरेक खेल तपाईं सेट एक खर्च सीमा छ; यसलाई पुग्न खर्च गर्न जारी भन्दा सट्टा खेल पज गर्दछ। शेषहरू स्थानान्तरणयोग्य छैन र, जहाँ कानून द्वारा आवश्यक बाहेक, एक पटक खपत गैर-रिफन्डेबल छन्। अनप्रयोग क्रेडिट अनुरोध मा रिफन्डेबल छ।
तपाईं आफ्नो आफ्नै inferrence कुञ्जी जडान भने, तपाईं आफ्नो प्रदायक सीधा भुक्तानी र हामी बिल कुनै प्रति-टोकन शुल्क. पछिल्लो उल्लेख मुक्त अनुदान एक पूर्वाधार शुल्क प्यानल चलाउन कभर लागू, उपकरण र भण्डारण.
हामी सूचना संग मूल्य परिवर्तन गर्न सक्छन्. परिवर्तन पहिले नै खरिद क्रेडिट लागू कहिल्यै.
5. स्वीकार्य प्रयोग
अन्यलाई हानि कि सामग्री सिर्जना गर्न सेवा प्रयोग नगर्नुहोस्, हाम्रो प्रोम्ट वा प्रणाली निर्देशनहरू निकाल्न प्रयास गर्न, खर्च वा दर सीमाहरू परित्याग गर्न, वा लिखित सम्झौता बिना पहुँच पुन: बिक्री गर्न। कोड-कार्यान्वयन उपकरण दावीहरू प्रमाणीकरणको लागि हो; कुनै पनि प्रणाली आक्रमण गर्न यसलाई प्रयोग नगर्नुहोस्।
उपलब्धता
हामी तेस्रो-पक्ष मोडेल प्रदायकहरूमा निर्भर गर्दछौं। प्रदायकहरू तल जान्छन्, मोडेल परिवर्तन गर्दछन्, र तिनीहरूलाई अस्वीकार गर्दछन्। कुनै पनि कारणका लागि एक जोडी अवरुद्ध हुन्छ र पुन: सुरु हुन्छ; हामी कामको लागि शुल्क लिँदैनौं कि काम भएन। हामी अखंड उपलब्धता ग्यारेन्टी गर्दैनौं, र तपाईँले पहिले प्रयोग गरेको मोडेल अप्राप्य हुन सक्छ।
दायित्व
कानून द्वारा अनुमति पूर्ण सीमामा, सेवा कुनै पनि प्रकारको वारेन्टी बिना छ रूपमा प्रदान गरिएको छ। कुनै पनि दाबी लागि हाम्रो कुल दायित्व दाबी उत्पन्न अघि तीन महिनामा तपाईं हामीलाई भुक्तानी रकम सीमित छ। हामी अप्रत्यक्ष वा consequential हानि लागि जिम्मेवार छैन, मोडेल उत्पादन मा भर परेर देखि उत्पन्न कुनै पनि हानि सहित।
समाप्ति
तपाईं कुनै पनि समयमा आफ्नो खाता बन्द गर्न सक्नुहुन्छ; हामी प्रयोग नगरिएको क्रेडिट फिर्ता हुनेछ। हामी यी शर्तहरू उल्लंघन वा जोखिममा सेवा राख्न खाता निलम्बन गर्न सक्नुहुन्छ।
9. परिवर्तन, भाषा र सम्पर्क
हामी यी शर्तहरू अपडेट गर्न सक्छन्; सामाग्री परिवर्तन साइट मा घोषणा गरिनेछ।
यो पृष्ठ को अनुवाद सुविधा लागि प्रदान गरिएको छ र मेशिन-उत्पादित छन्। जहाँ एक अनुवाद र अंग्रेजी संस्करण फरक, अंग्रेजी संस्करण शासन।
प्रश्न: हामीलाई सम्पर्क गर्नुहोस्.