सेवा नियम
1. सेवा काय करते
तुम्ही एक दावा आणि एक मानक सादर करा. आपण निवडलेल्या AI मॉडेलच्या पॅनेलच्या पलीकडे आम्ही ते चालवतो, तसेच स्वीकारण्याच्या निकषावर नियम करणारे एक न्यायाधीश मॉडेल, आणि आम्ही Lean 4 विरुद्ध Mathlib मध्ये परिणाम अधिकृत करण्याचा प्रयत्न करतो. परिणाम एक प्रत आहे, निर्णयांचे एक सेट, एक निर्णय, आणि ज्या ठिकाणी अधिकृत करण्याचा प्रयत्न केला गेला, लीन परिणाम.
2. काय आहे आणि काय नाही हे उत्पादन
याचे कारण म्हणजे त्याचे वजन ३ टन आहे आणि ते वजन उचलण्यास सक्षम नाही. ही कोणत्याही प्रकारची कायदेशीर, वैद्यकीय, आर्थिक, अभियांत्रिकी किंवा व्यावसायिक सल्लागार नाही आणि या सेवा वापरून व्यावसायिक संबंध निर्माण होत नाहीत.
match मध्ये नोंदलेल्या पुराव्यांच्या आधारे न्यायाधीशाने ठरवलेली निकष पूर्ण करणे हा एक दावा आहे. हे योग्यतेची हमी नाही. ऍयई मॉडेल चूक करतात, स्त्रोत चुकीचे वाचतात आणि निर्देश न देता citation बनवू शकतात. तुम्ही ज्यावर विश्वास ठेवायचा विचार करत आहात त्या सर्व गोष्टींची स्वतंत्रपणे खात्री करावी, विशेषतः प्रकाशित करण्यापूर्वी, सादर करण्यापूर्वी किंवा त्यावर कार्य करण्यापूर्वी. हे दबाव- चाचणी कामासाठी साधन आहे, योग्य मानवी समीक्षेसाठी पर्याय नाही.
यशस्वी Lean फॉर्मॅलिझेशनचा अर्थ Lean कर्नेलने फॉर्मॅलिझ्ड विधानाचा पुरावा स्वीकारला आहे, त्यावेळी वापरात असलेली Mathlib आवृत्ती विरुद्ध. याचा अर्थ असा नाही की ते विधान तुम्ही विचारलेल्या गोष्टीचे विश्वासार्ह भाषांतर आहे, आणि फॉर्मॅलिझ्ड विधान निवडणे जे तुम्ही काय म्हणत आहात ते सांगत नाही ते सर्वात सामान्य पद्धतीने फॉर्मॅलिझ्ड परिणाम चुकीचे आहे. फॉर्मॅलिझ्ड विधान वाचा, फक्त निर्णय नाही.
तुमचे विषयवस्तु
तुम्ही सादर केलेल्या दाव्याचे मालकी हक्क आणि तुमच्यासाठी तयार केलेल्या आऊटपुटचे तुम्ही मालकी हक्क राखून ठेवता. तुम्ही आम्हाला फक्त सेवा चालविण्यासाठी आवश्यक असलेली परवाना देऊ करता: तुमच्या सादरीकरणाचा प्रक्रिया करण्यासाठी, तुम्ही निवडलेल्या मॉडेल पुरवठादारांना ते पाठविण्यासाठी, आणि परिणामी match साठवण्यासाठी जेणेकरून तुम्ही ते परत करू शकता.
Matches मुलभूतरित्या खाजगी आहे. तुम्ही match सार्वजनिक चिन्हांकित केले तर ते लिंकसह कोणालाही दिसेल व आमचे सार्वजनिक गॅलरी मध्ये दिसेल. गुप्त माहिती समाविष्टीत match प्रकाशित करू नका.
इतरांच्या व्यक्तिगत माहितीची, गुप्त माहितीची जी तुम्हाला शेअर करण्याची परवानगी नाही, किंवा अवैध माहितीची नोंदणी करू नका.
4. क्रेडिट आणि बिलिंग
matches धावण्याप्रमाणे क्रेडिट पूर्वपूर्त आहे आणि वापरले जाते. प्रत्येक match मध्ये तुम्ही निश्चित केलेली खर्च मर्यादा आहे; match ला खर्च करण्यास सुरू ठेवण्याऐवजी तेथे पोहोचल्यास ते थांबविले जाते. बॅलन्स हस्तांतरित होऊ शकत नाही आणि, कायद्यानुसार आवश्यक असलेल्या ठिकाणाशिवाय, वापरल्यानंतर परतफेड करू शकत नाही. वापरलेले नाही क्रेडिट मागण्यावर परतफेड केले जाते.
तुम्ही स्वतःची inference कि जोडली तर, तुम्ही तुमच्या पुरवठादारास थेट पैसे भरता व आम्ही प्रति टोकन शुल्क आकारत नाही. खालील मोफत परवानगी नंतर पटल, साधने व संचयीत चालविण्यासाठी पायाभूत सुविधा शुल्क लागू होते.
आम्ही सूचना देऊन किंमती बदलू शकतो. बदल आधीच खरेदी केलेल्या क्रेडिटवर कधीही लागू होत नाहीत.
स्वीकार्य वापर
इतरांना नुकसान पोहोचवणारे संदर्भ निर्माण करण्यासाठी सेवा वापरू नका, आमचे प्रॉम्प्ट किंवा प्रणाली निर्देश काढण्याचा प्रयत्न करा, खर्च किंवा दर मर्यादा ओलांडण्यासाठी, किंवा लेखन करारशिवाय प्रवेश पुन्हा विकत घेण्यासाठी. कोड-एक्सेक्यूशन साधन दावा तपासण्यासाठी आहे; कोणत्याही प्रणालीवर हल्ला करण्यासाठी त्याचा वापर करू नका.
उपलब्धता
आम्ही तिसरा पक्ष मॉडेल पुरवठादारांवर अवलंबून आहोत. पुरवठादार खाली येतात, मॉडेल बदलतात, आणि त्यांना अयोग्य बनवतात. कोणत्याही कारणासाठी खंडीत झालेले match तात्पुरते थांबवले जाते व पुन्हा सुरू केले जाते; आम्ही घडले नाही त्या कामासाठी शुल्क आकारत नाही. आम्ही अखंड उपलब्धतेची हमी देत नाही, आणि तुम्ही आधी वापरलेले मॉडेल अकार्यान्वीत होऊ शकते.
जबाबदारी
कायद्यानुसार पूर्णपणे परवानगी दिलेल्या मर्यादेत, सेवा कोणत्याही प्रकारच्या हमीशिवाय प्रदान केली जाते. कोणत्याही दावा साठी आमची एकूण जबाबदारी तुम्ही तीन महिन्यांपूर्वी दावा करण्यापूर्वी आम्हाला दिलेल्या रकमेपर्यंत मर्यादित आहे. आम्ही अप्रत्यक्ष किंवा परिणामी नुकसान साठी जबाबदार नाही, मॉडेल आऊटपुट वर अवलंबून असलेल्या कोणत्याही नुकसान साठी जबाबदार नाही.
समाप्ती
तुम्ही तुमचे खाते कोणत्याही वेळी बंद करू शकता; आम्ही वापरले न गेलेले क्रेडिट परत करू. या शर्तींचा भंग करणारे किंवा सेवा धोक्यात घालणारे खाते आम्ही स्थगित करू शकतो.
9. बदल, भाषा आणि संपर्क
या योजनेत बदल करून या योजनेत बदल करून त्याचे स्वरूप बदलले जाते.
या पानाचे भाषांतर सोयीकरिता पुरविले गेले आहे व मशीन- निर्मित आहे. अनुवाद व इंग्रजी आवृत्ती मध्ये फरक असल्यास इंग्रजी आवृत्ती अधिकृत आहे.
प्रश्न: आम्हाला संपर्क करा.