شرایط خدمت
1. کار اين خدمت چيه؟
You submit a claim and a standard. We run it past a panel of AI models you select, plus a referee model that rules on acceptance criteria, and we attempt to formalise the result in Lean 4 against Mathlib. The output is a transcript, a set of rulings, a verdict, and where formalisation was attempted, the Lean result.
خروجی چیست و چی نیست؟
خروجی توسط مدلهای هوش مصنوعی طرف سوم تولید میشود و توصیه نیست. این خدمات شامل مشاوره حقوقی، پزشکی، مالی، مهندسی یا حرفهای در هر نوع نیست و هیچ رابطه حرفهای با استفاده از این خدمات ایجاد نمیشود.
داور که یک معیار را برآورده میکند، یک بیانیه در مورد شواهد ثبت شده در آن مسابقه است. این تضمین درستی نیست. مدلهای هوش مصنوعی اشتباه میکنند، منابع را اشتباه میخوانند و میتوانند استنادهای ساختگی را بر خلاف دستورالعملها ایجاد کنند. بايد مستقلا هر چيزي رو که ميخواي بهش اعتماد کني رو تاييد کنياین ابزار برای کارهای تست فشار است، نه جایگزینی برای بررسی انسانی شایسته.
A successful Lean formalisation means the Lean kernel accepted a proof of the statement that was formalised, against the version of Mathlib in use at that time. It does not mean that statement is a faithful translation of what you asked, and choosing a formal statement that does not say what you meant is the most common way a formal result misleads. Read the formal statement, not only the verdict.
محتوای شما
شما مالک ادعاهایی که ارسال میکنید و خروجی تولید شده برای شما را نگه میدارید. شما فقط مجوز لازم برای اجرای سرویس را به ما میدهید: برای پردازش ارسال شما ، انتقال آن به ارائهدهندگان مدلی که انتخاب کردهاید ، و ذخیره تطابق حاصل شده تا بتوانید به آن بازگردید.
تطابقها به صورت پیشفرض خصوصی هستند. اگر تطابقی را عمومی علامت بزنید ، برای هر کسی که پیوند آن را داشته باشد قابل مشاهده میشود و ممکن است در گالری عمومی ما ظاهر شود. تطابقی که حاوی هر چیزی محرمانه است را منتشر نکنید.
اطلاعات شخصی در مورد دیگران، مواد محرمانه که حق اشتراک ندارید یا محتوایی که غیرقانونی است را ارسال نکنید.
اعتبارات و قبض
اعتبار پیشفرض است و در هنگام اجرا شدن مسابقات مصرف میشود. هر مسابقهای محدودیت هزینهای دارد که شما تنظیم میکنید؛ رسیدن به آن به جای ادامه دادن به هزینه، مسابقه را متوقف میکند. مانده قابل انتقال نیست و، به جز در مواردی که توسط قانون لازم است، پس از مصرف، بازپرداخت نمیشود. اعتبار استفاده نشده در صورت درخواست بازپرداخت میشود.
اگر کلید استنتاج خود را متصل کنید، مستقیماً به ارائهدهنده پرداخت میکنید و ما هیچ هزینهای برای هر توکن دریافت نمیکنیم. پس از مجوز آزاد اعلام شده، هزینه زیرساخت برای پوشش اجرای پنل، ابزارها و ذخیرهسازی اعمال میشود.
ما ممکنه با اطلاع قبلي قيمت ها رو تغيير بديم تغييرات هيچوقت به اعتباري که قبلاً خريده شده نياز نداره
استفاده قابل قبول
از این سرویس برای تولید محتوایی که به دیگران آسیب میرساند، برای تلاش برای استخراج دستورالعملهای سیستم یا دستورالعملهای ما، برای دور زدن محدودیتهای هزینه یا نرخ، یا برای بازفروش دسترسی بدون توافقنامهٔ کتبی استفاده نکنید. ابزار اجرای کد برای تأیید ادعاها است؛ برای حمله به هر سیستمی از آن استفاده نکنید.
در دسترس بودن
ما به ارائهدهندگان مدلهای شخص ثالث وابستهایم. ارائهدهندگان از کار میافتند ، مدلها را تغییر میدهند و آنها را منسوخ میکنند. یک تطابق که به هر دلیلی متوقف میشود، متوقف و قابل ادامه است؛ ما برای کارهایی که رخ نداد هزینه نمیگیریم. ما تضمین دسترسی بیوقفه را نمیدهیم ، و مدلی که قبلاً استفاده کردهاید ممکن است غیرقابل دسترسی شود.
مسئولیت
تا حدی که قانون اجازه میدهد، خدمات به صورتی که هستند و بدون هیچگونه تضمین ارائه میشود. مسئولیت کل ما برای هرگونه ادعایی به مقداری که در سه ماه قبل از بروز ادعا پرداخت کردهاید محدود است. ما برای خسارت غیرمستقیم یا نتیجه ای، از جمله هرگونه خسارت ناشی از اعتماد به خروجی مدل، مسئول نیستیم.
پایان
شما میتوانید حساب خود را در هر زمان ببندید؛ ما اعتبار استفاده نشده را بازپرداخت میکنیم. ما میتوانیم حسابهایی را که این شرایط را نقض میکنند یا خدمات را در معرض خطر قرار میدهند تعلیق کنیم.
9. تغییرات، زبان و تماس
ما ممکن است این شرایط را به روز کنیم؛ تغییرات اساسی در سایت اعلام خواهد شد.
ترجمههای این صفحه به منظور راحتی فراهم شدهاند و توسط ماشین تولید شدهاند. در صورتی که ترجمه و نسخه انگلیسی با هم تفاوت داشته باشند، نسخه انگلیسی حاکم است.
سوالات: با ما تماس بگیرید.