شروط الخدمة
1 - ماذا تفعل الدائرة
أنت تقدم ادعاء ومعيار، ونحن نقوم بتشغيله عبر مجموعة من نماذج الذكاء الاصطناعي التي تختارها، بالإضافة إلى نموذج محكم يحكم معايير القبول، ونحاول إضفاء الطابع الرسمي على النتيجة في Lean 4 مقابل Mathlib. والمخرج هو نسخة، مجموعة من الأحكام، حكم، وحيثما تم محاولة إضفاء الطابع الرسمي، النتيجة الرشيدة.
2- ما هو الناتج وما هو غير الناتج
وتنتج النواتج نماذج الذكاء الاصطناعي التي يقدمها طرف ثالث، وهي ليست مشورة. وهي ليست مشورة قانونية أو طبية أو مالية أو هندسية أو مهنية من أي نوع، ولا تنشأ أي علاقة مهنية باستخدام هذه الخدمة.
إن الحكم الذي يقرر أن معياراً ما قد تم استيفاؤه هو بيان عن الأدلة المسجلة في تلك المباراة. وهو ليس ضمانة للصحة. فنماذج الذكاء الاصطناعي ترتكب أخطاء، وتخطئ في قراءة المصادر، ويمكنها أن تختلق الاقتباسات رغم التعليمات بعدم القيام بذلك. يجب عليك التحقق بشكل مستقل من أي شيء تعتزم الاعتماد عليه)١( انظر الوثيقة E/CN.4/Sub.2/1999/10، المرفق. )٢( انظر الوثيقة E/CN.4/Sub.2/1999/10، المرفق.
إن الشكلية الناجحة للنحافة تعني أن نواة النحافة قبلت دليلاً على البيان الذي تم الشكلية عليه، مقارنة بإصدار Mathlib المستخدم في ذلك الوقت. وهذا لا يعني أن البيان هو ترجمة أمينة لما طلبته، واختيار بيان رسمي لا يخبرك بما كنت تقصده هو الطريقة الأكثر شيوعاً التي تضلل بها النتيجة الرسمية. اقرأ البيان الرسمي، وليس الحكم فقط.
3- محتوياتك
وتحتفظ بملكية المطالبات التي تقدمها والنواتج التي يتم إنتاجها لك. ولا تمنحنا إلا الترخيص اللازم لتشغيل الخدمة: لمعالجة مطالبتك، وإرسالها إلى مقدمي النماذج الذين اخترتهم، وتخزين التوافق الناتج حتى يمكنك العودة إليه.
المطابقات هي خاصة بصورة افتراضية. إذا قمت بتحديد توافق عام، فإنه يصبح مرئياً لأي شخص لديه الرابط وقد يظهر في معرضنا العام. لا تنشر توافقاً يحتوي على أي شيء سري.
لا تقدم بيانات شخصية عن الآخرين، أو مواد سرية لا يحق لك تقاسمها، أو محتوى غير قانوني.
4 - الأرصدة الدائنة والفواتير
الائتمان مدفوع مسبقاً ويتم استهلاكه أثناء سير المباريات. لكل مباراة حد إنفاق تحدده؛ وإذا وصلت إلى هذا الحد، يتم إيقاف المباراة بدلاً من مواصلة الإنفاق. الأرصدة غير قابلة للتحويل، وما لم يقتضي القانون، لا يمكن استردادها عند استهلاكها. الائتمان غير المستخدم قابل للاسترداد عند الطلب.
إذا قمت بربط مفتاح الاستدلال الخاص بك، فأنت تدفع لمقدم الخدمة مباشرة ونحن لا نحمّل أي رسوم على كل رموز. وبعد الإذن المجاني المذكور، يطبق رسم البنية التحتية لتغطية تشغيل اللوح، والأدوات والتخزين.
قد نغير الأسعار بإشعار، ولا تنطبق التغييرات أبدا على الائتمان المشتري بالفعل.
5 - الاستخدام المقبول
لا تستخدم الخدمة لإنتاج محتوى يضر بالآخرين، أو لمحاولة استخراج التعليمات أو تعليمات النظام، أو للتحايل على حدود الإنفاق أو السعر، أو لإعادة بيع الوصول دون اتفاق مكتوب. أداة تنفيذ الرمز هي للتحقق من المطالبات؛ لا تستخدمها لمهاجمة أي نظام.
6- التوافر
نحن نعتمد على مقدمي نماذج من أطراف ثالثة. يحدث أن يتوقف مقدمو الخدمات عن العمل، ويغيرون نماذجهم، ويتخلون عنها. ويتم تعليق التوافق الذي يتوقف لأي سبب من الأسباب ويمكن استئنافه؛ ولا نحمّل أي رسوم عن العمل الذي لم يحدث. ولا نضمن توافر الخدمة دون انقطاع، وقد يصبح النموذج الذي استخدمته سابقاً غير متاح.
7- المسؤولية
10.1 لا نتحمل أي مسؤولية عن أي خسارة أو ضرر غير مباشر أو تبعي، بما في ذلك أي خسارة أو ضرر ناتج عن الاعتماد على أي نموذج من نماذج المنتجات أو الخدمات، أو عن أي خسارة أو ضرر ناتج عن استخدام أي نموذج من نماذج المنتجات أو الخدمات، أو عن أي خسارة أو ضرر ناتج عن استخدام أي نموذج من نماذج المنتجات أو الخدمات.
8 - الإنهاء
يمكن أن تغلق حسابك في أي وقت، وسنعيد لك أي رصيد غير مستعمل، ويمكننا تعليق الحسابات التي تنتهك هذه الشروط أو التي تعرض الخدمة للخطر.
9- التغييرات واللغة والاتصال
قد نقوم بتحديث هذه الشروط؛ وسيعلن عن التغييرات المادية على الموقع.
وتُقدم ترجمات هذه الصفحة لأغراض التسهيل، وهي ناتجة آليا، وإذا اختلفت الترجمة عن النسخة الإنكليزية، تكون النسخة الإنكليزية هي السائدة.
الأسئلة: اتصل بنا.