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