خدمت جا شرط

Theorem.chat کي Muddy Holdings LLC (اسين، اسان) هلائي ٿو. ھن سروس جي استعمال سان توھان انھن شرطن سان متفق آھيو.

1. ھي سروس ڇا ڪري ٿي

توھان ھڪ دعويٰ ۽ معيار داخل ڪريو. اسان ان کي AI ماڊلز جي هڪ پينل کان اڳتي هلائيون ٿا جيڪو توھان چونڊيو آھي، گڏوگڏ هڪ ريفريڊ ماڊل جيڪو قبوليت جي معيار تي حڪم ڪري ٿو، ۽ اسان نتيجي کي Lean 4 ۾ Mathlib جي مقابلي ۾ رسمي ڪرڻ جي ڪوشش ڪريون ٿا. نڪتو هڪ نقل آهي، حڪمن جو هڪ مجموعو، هڪ فيصلو، ۽ جتي رسمي ڪرڻ جي ڪوشش ڪئي وئي، ليان نتيجو.

2. ڇا خروجي آهي ۽ نه آهي

خروجي ٽين پارٽي ائ اي ماڊلز طرفان پيدا ڪيو ويو آهي ۽ صلاح نه آهي. هي قانون، طبي، مالي، انجنيئرنگ يا ڪنهن به قسم جي پراڊڪٽ جي صلاحيت نه آهي، ۽ ان سروس جي استعمال سان ڪوبه پراڊڪٽ لاڳاپو نه آهي.

ريفرينڊم جو فيصلو جيڪو معيار کي پورو ڪري ٿو اهو ان ميچ ۾ رڪارڊ ٿيل شواهد بابت بيان آهي. اهو درستگي جو ضمانت نه آهي. AI ماڊل غلطيون ڪندا آهن، غلط سرچينءَ پڙهندا آهن، ۽ نه ڪرڻ جي هدايتن باوجود حوالا ٺاھيندا آهن. توھان کي آزاديءَ سان توھان جي اعتماد جي ارادي جي ڪابه شيءِ تصديق ڪرڻي پونديهيءُ ڪمپيوٽر جي استعمال جي تجربي لاءِ هڪ اوزار آهي، نه ته انسان جي جائزي جي بدلي ۾.

هڪ ڪامياب ليئن فارمالائزيشن جو مطلب آهي ته ليئن ڪارنلز ان بيان جو ثبوت قبول ڪيو آهي جيڪو فارماليز ڪيو ويو هو، Mathlib جي ورزن جي مقابلي ۾ ان وقت استعمال ۾. ان جو مطلب اهو نه آهي ته اهو بيان توهان جي پڇايل جي سچو ترجمو آهي، ۽ هڪ فارملسٽ چونڊڻ جيڪو نه چوي ٿو ته توهان جو مطلب ڇا آهي اهو عام طريقو آهي ته هڪ فارملسٽ غلط نتيجو ڏئي. فارملسٽ پڙهو، نه رڳو فيصلو.

3. توھان جو مواد

توھان پنھنجي داخل ڪيل دعوائن ۽ توھان جي پيدا ڪيل نتيجن جي مالڪائي رکيو آھي. توھان اسان کي رڳو ھن خدمت کي هلائڻ لاءِ لاڳاپيل لائسنس ڏئي رھيا آھيو: توھان جي داخل ڪيل معلومات کي پروسيس ڪرڻ، ان کي توھان جي چونڊيل ماڊل مهيا ڪندڙن تائين پھچائڻ، ۽ نتيجي ۾ ٺھندڙ کي محفوظ ڪرڻ ته جيئن توھان ان ڏانھن موٽي سگھو.

ميچ ذاتي طور اڻ ڄاتل آھن. جيڪڏھن توھان ميچ پبلڪ طور نشان ڪريو ته اھو ڪنھن به ماڻھوءَ کي ڏسڻ ۾ ايندو جنھن وٽ لنڪ آھي ۽ اسان جي پبلڪ گالري ۾ نظر اچي سگھندو. ميچ جيڪا ڪا به ڳجھي شيءِ رکي ٿي تنھن کي پبلڪ نه ڪريو.

ٻين جي باري ۾ ذاتي ڊيٽا نه موڪليو، رازداري مواد نه موڪليو جنهن کي ونڊ ڪرڻ جو حق نه آهي، يا مواد نه موڪليو جيڪو غير قانوني آهي.

ڪرڊٽ ۽ بلنگ

ڪرڊٽ اڳ ۾ ادا ڪيو ويو آھي ۽ جڏھن راندون هلنديون آھن تڏھن استعمال ڪيو ويندو آھي. سڀڪنھن راند لاءِ خرچ جي حد مقرر ڪئي وئي آھي، ان کي پھچڻ سان خرچ جاري رکڻ جي بدران راند کي وقف ڪيو ويندو آھي. بلينڊس منتقل نه ٿي سگھن ٿا ۽ جڏھن قانون جي ضرورت نه ھجي تڏھن استعمال ڪرڻ کان پوءِ نه موٽايا ويندا آھن. نا استعمال ٿيل ڪرڊٽ درخواست تي موٽايو ويندو آھي.

جيڪڏھن پنھنجي انفريشن ڪوڊ کي ڳنڍيو ته توھان پنھنجي پراڊڪٽ فراهم ڪندڙ کي سڌو سنئون ادا ڪيو ۽ اسان توھان کي پر-ٽوڪن چارج نه ڏيندا آھيون. بيان ڪيل مفت فيس کان پوءِ ڍانچي جي چارج استعمال ڪئي ويندي آھي پينل، وسيلن ۽ اسٽوريج کي هلائڻ لاءِ.

اسان قيمتون خبرداريءَ سان تبديل ڪري سگھون ٿا. تبديليون اڳ ۾ خريد ڪيل ڪرڊٽ تي ڪڏهن به لاڳو نه ٿيون ٿين.

قبول ڪيل استعمال

ھن خدمت کي اھڙي مواد پيدا ڪرڻ لاءِ نه استعمال ڪريو جنھن سان ٻين کي نقصان پھچي، اسان جي سوالن يا سسٽم جي حڪمن کي ڪڍڻ جي ڪوشش ڪريو، خرچ يا شرح جي حدن کي ٽوڙيو، يا لکيل معاهدي کانسواءِ رسائي کي ٻيهر وڪري لاءِ استعمال نه ڪريو. ڪوڊ-انجام ڏيڻ وارو اوزار دعوائن کي تصديق ڪرڻ لاءِ آھي؛ ڪنهن به سسٽم تي حملو ڪرڻ لاءِ ان کي استعمال نه ڪريو.

رسائي

اسين ٽئين پارٽي ماڊل مهيا ڪندڙن تي منحصر آھيون. مهيا ڪندڙن کي ڊوڙڻ، ماڊل تبديل ڪرڻ ۽ انھن کي غير فعال ڪرڻو پوندو آھي. ڪوبه سبب ڪري وقف ٿيل ميچ وقف ۽ جاري رکي سگھجي ٿو؛ اسان ڪم جي ڪري چارج نه ٿا وٺون جيڪو نه ٿيو. اسين غير وقف ٿيل موجودگي جو ضمانت نه ٿا ڏيون، ۽ ماڊل جيڪو توھان اڳ استعمال ڪيو آھيو سو غير موجود ٿي سگھي ٿو.

ذميواري

قانون جي اجازت ڏنل حد تائين، خدمت جي طور تي ڪنهن به قسم جي ضمانت نه آهي. اسان جي مجموعي ذميواري ڪنهن به دعوي جي رقم جي حد تائين آهي توهان اسان کي ادا ڪيو آهي ٽي مهينا اڳ دعوي پيدا. اسان غير متوقع يا نتيجي ۾ نقصان لاء ذميوار نه آهيون، جنهن ۾ ڪنهن به نقصان شامل آهي ماڊل خروجي تي ڀروسو کان پيدا ٿيندڙ.

بند ڪرڻ

توھان پنھنجي اڪائونٽ کي ڪڏھن به بند ڪري سگھو ٿا، اسان استعمال نه ڪيل ڪرڊٽ واپس ڪنداسين. اسان اڪائونٽ کي معطل ڪري سگھون ٿا جيڪي انھن شرطن کي ڀڃي يا خدشات کي خطري ۾ وجهي.

تبديليون، ٻولي ۽ رابطو

اسان هنن شرطن کي اپڊيٽ ڪري سگهون ٿا؛ مواد تبديليون سائيٽ تي اعلان ڪيو ويندو.

هن صفحي جا ترجما آسانيءَ لاءِ ڏنل آھن ۽ مشين سان ٺاھيا ويا آھن. جتي ترجمو ۽ انگريزي ورزن ۾ فرق آھي، انگريزي ورزن غالب آھي.

سوال: اسان سان رابطو ڪريو.