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