পরিষেবা
১. এই সেবা কি করে
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.
২. আউটপুট কি এবং কি নয়
আউটপুট তৃতীয় পক্ষের AI মডেল দ্বারা তৈরি করা হয় এবং এটি কোন পরামর্শ নয়। এটি কোন ধরনের আইনী, চিকিৎসা, আর্থিক, প্রকৌশল বা পেশাদার পরামর্শ নয়, এবং এই সেবা ব্যবহার করে কোন পেশাদার সম্পর্ক তৈরি হয় না।
রেফারির সিদ্ধান্ত যে কোন মাপকাঠি পূরণ করা হয়েছে তা সেই ম্যাচের রেকর্ডের প্রমাণের উপর একটি বিবৃতি। এটা সঠিকতার কোন নিশ্চয়তা নয়। এআই মডেল ভুল করে, উৎস ভুল পড়ে, এবং নির্দেশনা না থাকা সত্ত্বেও উদ্ধৃতি তৈরি করতে পারে। আপনি স্বাধীনভাবে যা কিছু আপনি নির্ভর করতে ইচ্ছুক যাচাই করতে হবেএটি একটি চাপ পরীক্ষার জন্য একটি টুল, মানব পর্যালোচনার জন্য কোন বিকল্প নয়।
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.
৩. আপনার বিষয়বস্তু
আপনি যে দাবিগুলো জমা দিয়েছেন এবং আপনার জন্য তৈরি করা আউটপুটগুলোর মালিকানা আপনিই রাখবেন। আপনি আমাদেরকে শুধুমাত্র এই সার্ভিস চালানোর জন্য প্রয়োজনীয় লাইসেন্স প্রদান করেন: আপনার জমা দেওয়া তথ্য প্রক্রিয়াকরণের জন্য, আপনার নির্বাচিত মডেল সরবরাহকারীদের কাছে তা প্রেরণ করার জন্য এবং ফলাফল মিল সংরক্ষণ করার জন্য যাতে আপনি তা পুনরায় ব্যবহার করতে পারেন।
ডিফল্টভাবে ম্যাচগুলি গোপনীয়। আপনি যদি একটি ম্যাচকে পাবলিক হিসেবে চিহ্নিত করেন, তবে তা লিঙ্ক সহ যে কেউ দেখতে পাবে এবং আমাদের পাবলিক গ্যালারিতে প্রদর্শিত হতে পারে। গোপনীয় কোনো কিছু সহ ম্যাচ প্রকাশ করবেন না।
অন্যদের ব্যক্তিগত তথ্য, গোপনীয় তথ্য যা আপনি শেয়ার করার অধিকার রাখেন না, অথবা অবৈধ বিষয়বস্তু পাঠান না।
ক্রেডিট এবং বিলিং
ক্রেডিট পূর্বে পরিশোধ করা হয় এবং খেলা চলাকালীন সময়ে ব্যয় করা হয়। প্রতিটি ম্যাচে ব্যয় করার জন্য একটি সীমা নির্ধারণ করা হয়; এতে পৌঁছলে ব্যয় চালিয়ে যাওয়ার পরিবর্তে ম্যাচটি স্থগিত হয়ে যায়। ভারসাম্য স্থানান্তরযোগ্য নয় এবং আইন দ্বারা যেখানে প্রয়োজন হয় তা ব্যতীত, ব্যয় করার পর তা ফেরত দেওয়া যায় না। অব্যবহৃত ক্রেডিট অনুরোধের ভিত্তিতে ফেরত দেওয়া যায়।
আপনি যদি আপনার নিজের inference key সংযুক্ত করেন, তাহলে আপনি আপনার প্রদানকারীকে সরাসরি অর্থ প্রদান করবেন এবং আমরা প্রতি টোকেন খরচের জন্য বিল দেব না। উল্লিখিত বিনামূল্যে অনুমতির অতিক্রম করলে একটি অবকাঠামো ফি প্রযোজ্য হবে যা প্যানেল, টুল এবং স্টোরেজ চালানোর জন্য ব্যবহৃত হবে।
আমরা পূর্বে জানিয়ে মূল্য পরিবর্তন করতে পারি। পরিবর্তন কখনোই ইতোমধ্যে ক্রয়কৃত ক্রেডিট-এর ক্ষেত্রে প্রযোজ্য হবে না।
গ্রহণযোগ্য ব্যবহার
অন্যদের ক্ষতি করার জন্য সার্ভিস ব্যবহার করবেন না, আমাদের প্রম্পট বা সিস্টেম নির্দেশনা বের করার চেষ্টা করবেন না, খরচ বা হারের সীমাবদ্ধতা পরিহার করবেন না, অথবা লিখিত চুক্তি ছাড়া প্রবেশাধিকার পুনরায় বিক্রি করবেন না। কোড-এক্সিকিউশন টুলটি দাবী যাচাই করার জন্য; কোন সিস্টেম আক্রমণ করার জন্য এটি ব্যবহার করবেন না।
উপলব্ধতা
আমরা তৃতীয় পক্ষের মডেল সরবরাহকারীদের উপর নির্ভর করি। সরবরাহকারীরা ত্রুটিযুক্ত হয়, মডেল পরিবর্তন করে এবং তাদের অবৈধ করে। যে কোন কারণে একটি মেলে বিঘ্নিত করা হয় এবং পুনরায় আরম্ভ করা যায়; আমরা কাজের জন্য চার্জ করি না যা ঘটেনি। আমরা নিরবচ্ছিন্ন উপলব্ধতা ওয়াদা করি না, এবং আপনি আগে ব্যবহার করা একটি মডেল অপ্রাপ্তি হতে পারে।
দায়বদ্ধতা
আইন দ্বারা অনুমোদিত সর্বোচ্চ পরিমাণে, পরিষেবাটি যেভাবে আছে, সেভাবেই প্রদান করা হয়, কোন ধরনের ওয়ারেন্টি ছাড়া । যে কোন দাবীর জন্য আমাদের মোট দায়বদ্ধতা সীমিত করা হয়েছে আপনি যে পরিমাণ টাকা আমাদের দিয়েছিলেন, দাবীর উত্থানের তিন মাস আগে । আমরা পরোক্ষ বা পরবর্তী ক্ষতির জন্য দায়ী নই, মডেল আউটপুট নির্ভর করে যে কোন ক্ষতির জন্য দায়ী নই ।
সমাপ্তি
আপনি যে কোন সময় আপনার অ্যাকাউন্ট বন্ধ করতে পারেন; আমরা ব্যবহার না করা ক্রেডিট ফিরিয়ে দেব। যে অ্যাকাউন্ট এই শর্ত ভঙ্গ করে অথবা সার্ভিসকে ঝুঁকিতে ফেলে, আমরা সেটি স্থগিত করতে পারি।
৯. পরিবর্তন, ভাষা এবং যোগাযোগ
আমরা এই শর্তাবলী আপডেট করতে পারি; গুরুত্বপূর্ণ পরিবর্তন সাইটে ঘোষণা করা হবে।
এই পাতার অনুবাদ সুবিধার জন্য প্রদান করা হয়েছে এবং এটি মেশিন দ্বারা তৈরি করা হয়েছে। যেখানে অনুবাদ এবং ইংরেজি সংস্করণের মধ্যে পার্থক্য আছে, ইংরেজি সংস্করণটি প্রযোজ্য।
প্রশ্ন: আমাদের সাথে যোগাযোগ করুন.