சேவைக் கொள்கைகள்
1. சேவை என்ன செய்கிறது
நீங்கள் ஒரு கோரிக்கை மற்றும் ஒரு தரத்தை சமர்ப்பிக்க வேண்டும். நாம் அதை நீங்கள் தேர்ந்தெடுக்கும் AI மாதிரிகளின் ஒரு குழுவை கடந்து இயக்குகிறோம், மேலும் ஒரு தீர்ப்பு மாதிரி ஏற்றுக்கொள்ளும் விதிமுறைகளை நிர்ணயிக்கிறது, மற்றும் நாம் Lean 4 க்கு எதிராக Mathlib இல் முடிவுகளை முறைப்படுத்த முயற்சி செய்கிறோம். வெளியீடு ஒரு பதிவு, ஒரு தீர்ப்புகளின் தொகுப்பு, ஒரு தீர்ப்பு, மற்றும் முறைப்படுத்த முயற்சி செய்த இடத்தில், லீன் முடிவு.
2. வெளியீடு என்ன மற்றும் இல்லை
வெளியீடு மூன்றாம் தரப்பு AI மாதிரிகள் மூலம் உருவாக்கப்படுகிறது மற்றும் ஆலோசனை அல்ல. இது சட்டம், மருத்துவம், நிதி, பொறியியல் அல்லது எந்தவொரு வகையான தொழில்முறை ஆலோசனை அல்ல, மேலும் இந்த சேவையைப் பயன்படுத்துவதன் மூலம் எந்த தொழில்முறை உறவும் உருவாக்கப்படுவதில்லை.
ஒரு விதிமுறையை நிறைவேற்றியதாக தீர்ப்பு வழங்கும் நீதிபதி, அந்த match ல் பதிவு செய்யப்பட்ட ஆதாரம் பற்றிய ஒரு அறிவிப்பு. இது சரியானது என்று உறுதி அளிக்கவில்லை. AI மாதிரிகள் தவறு செய்கின்றன, மூலங்களை தவறாக படிக்கின்றன, மற்றும் குறிப்பிடப்படாத வழிமுறைகளுக்கு எதிராக உரைகளை உருவாக்க முடியும். நீங்கள் தனியாக நீங்கள் நம்ப விரும்பும் எதையும் உறுதிப்படுத்த வேண்டும், குறிப்பாக வெளியிடும் முன், சமர்ப்பிக்கும் முன், அல்லது செயல்படும் முன். இது அழுத்தம்- சோதனை வேலைக்கான கருவி, மனித மதிப்பீட்டிற்கான மாற்று அல்ல.
வெற்றிகரமான லீன் முறைமைப்படுத்தல் என்பது லீன் உட்கரு ஒரு நிரூபணத்தை ஏற்றுக் கொண்டது, அது அந்த நேரத்தில் பயன்படுத்தப்பட்ட Mathlib பதிப்புக்கு எதிராக இருந்தது. அது நீங்கள் கேட்டதை சரியாக மொழிபெயர்த்துள்ளது என்று அர்த்தமல்ல, நீங்கள் விரும்பியதை சொல்லாத ஒரு முறைமைப்படுத்தப்பட்ட அறிவிப்பை தேர்ந்தெடுப்பது ஒரு முறைமைப்படுத்தப்பட்ட முடிவு தவறாக வழிநடத்துகிறது. வழக்கமான அறிவிப்பை படிக்கவும், தீர்ப்பு மட்டும் அல்ல.
3. உங்கள் உள்ளடக்கம்
நீங்கள் அனுப்பும் கோரிக்கைகளின் உரிமையை நீங்கள் வைத்திருக்கவும், உங்கள் வெளியீடு தயாரிக்கவும். நீங்கள் சேவை செயல்படுத்த தேவையான அனுமதியை மட்டுமே எங்களுக்கு வழங்குகிறீர்கள்: உங்கள் அனுப்புதலை செயலாக்க, நீங்கள் தேர்ந்தெடுத்த மாதிரி வழங்குநர்களுக்கு அனுப்பவும், மற்றும் முடிவு match ஐ சேமிக்கவும், நீங்கள் திரும்பி வரலாம்.
Matches முன்னிருப்பு தனிப்பட்டவை. நீங்கள் ஒரு பொதுவான match ஐ குறித்தால் அது இணைப்புடன் உள்ள அனைவருக்கும் தெரியும் மற்றும் நமது பொதுவான கலைக்களஞ்சியத்தில் தோன்றும். இரகசியமான எதையும் உள்ளடக்கிய match ஐ வெளியிட வேண்டாம்.
மற்றவர்களைப் பற்றிய தனிப்பட்ட தகவல்களை, பகிர்ந்து கொள்ள உரிமை இல்லாத இரகசியப் பொருள்களை, அல்லது சட்டவிரோதமான உள்ளடக்கங்களை அனுப்ப வேண்டாம்.
4. கடன் மற்றும் கட்டணம்
கடன் முன் செலுத்தப்பட்டுள்ளது மற்றும் matches இயக்கம் போலவே பயன்படுத்தப்படுகிறது. ஒவ்வொரு match க்கும் நீங்கள் அமைத்த செலவு வரம்பு உள்ளது; அதை அடைவது match ஐ செலவு செய்யாமல் நிறுத்துகிறது. மீதமுள்ளவை மாற்ற முடியாதவை மற்றும் சட்டம் தேவைப்படும் இடங்களைத் தவிர, ஒருமுறை பயன்படுத்தப்பட்டால் திரும்பப் பெறப்படாதவை. பயன்படுத்தப்படாத கடன் கோரிக்கை மீது திரும்பப் பெறப்படுகிறது.
உங்கள் சொந்த ஐன்ஃபெரென்ஸ் விசை இணைக்கப்பட்டால், நீங்கள் உங்கள் வழங்குநருக்கு நேரடியாக செலுத்த வேண்டும் மற்றும் நாங்கள் டாக்கன் வரி செலுத்த மாட்டோம். குறிப்பிட்ட இலவச அனுமதிக்குப் பிறகு ஒரு கட்டமைப்பு கட்டணம் பலகத்தை இயக்க, கருவிகள் மற்றும் சேமிப்புகளைக் கொண்டுள்ளது.
நாம் விலை மாற்ற அறிவிப்பு. மாற்றங்கள் ஏற்கனவே வாங்கப்பட்ட கடன் எப்போதும் பொருந்தும்.
ஏற்றுக்கொள்ளத்தக்க பயன்பாடு
மற்றவர்களுக்கு தீங்கு விளைவிக்கும் உள்ளடக்கத்தை உருவாக்க இந்த சேவையை பயன்படுத்த வேண்டாம், நமது கோரிக்கைகளை அல்லது கணினி வழிமுறைகளை வெளியேற்ற முயற்சிக்க, செலவு அல்லது விகித வரம்புகளை மீற, அல்லது எழுத்து வடிவ ஒப்பந்தமின்றி அணுகலை விற்க வேண்டாம். குறியீடு- செயல்படுத்தும் கருவி கோரிக்கைகளை உறுதிப்படுத்தும்; எந்த கணினியை தாக்கவும் இதை பயன்படுத்த வேண்டாம்.
கிடைக்கக்கூடிய
நாம் மூன்றாம் தரப்பு மாதிரி வழங்குநர்களை நம்புகிறோம். வழங்குநர்கள் இறங்குகின்றனர், மாதிரிகளை மாற்றுகின்றனர், மற்றும் அவற்றை பழையதாக மாற்றுகின்றனர். எந்த காரணத்திற்காக match இடைநிறுத்தப்பட்டாலும் தற்காலிகமாக நிறுத்தப்பட்டு மீண்டும் தொடங்கலாம்; நடக்காத வேலைக்காக நாங்கள் கட்டணம் வசூலிக்க மாட்டோம். நாம் இடைநிறுத்தப்படாத கிடைக்கக்கூடியதை உறுதி செய்யவில்லை, மற்றும் நீங்கள் முன்பு பயன்படுத்திய மாதிரி கிடைக்காது.
கடன் பத்திரம்
சட்டம் அனுமதிக்கும் அளவிற்கு, இந்த சேவை எந்த வகையான உத்தரவாதமும் இல்லாமல் வழங்கப்படுகிறது. எந்தக் கோரிக்கைக்கும் எங்களது மொத்த பொறுப்பு, கோரிக்கை எழுந்ததற்கு முன்னர் மூன்று மாதங்களில் நீங்கள் எங்களுக்கு செலுத்திய தொகைக்கு மட்டுமே. நேரடி அல்லது விளைவு இழப்புகளுக்கு நாங்கள் பொறுப்பேற்க மாட்டோம், மாதிரி வெளியீட்டை நம்புவதால் ஏற்படும் எந்த இழப்பும் உள்ளடங்கியது.
முடித்தல்
நீங்கள் உங்கள் கணக்கை எப்பொழுதும் மூடலாம்; பயன்படுத்தப்படாத கடன்களை நாங்கள் திருப்பித் தருவோம். இந்த விதிகளை மீறுவோ அல்லது சேவைக்கு ஆபத்தை ஏற்படுத்துபவையான கணக்குகளை நாங்கள் நிறுத்தி வைக்கலாம்.
9. மாற்றங்கள், மொழி மற்றும் தொடர்பு
நாம் இந்த விதிகளை புதுப்பிக்க முடியும்; பொருள் மாற்றங்கள் தளத்தில் அறிவிக்கப்படும்.
இந்த பக்கத்தின் மொழிபெயர்ப்புகள் நன்மைக்காக வழங்கப்பட்டுள்ளன மற்றும் இயந்திரம் உருவாக்கப்பட்டுள்ளன. மொழிபெயர்ப்பு மற்றும் ஆங்கில பதிப்பு வேறுபட்டால், ஆங்கில பதிப்பு ஆட்சி செய்கிறது.
கேள்விகள்: எங்களை தொடர்பு கொள்ளவும்.