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