পরিষেবা
১. এই সেবা কি করে
আপনি একটি দাবি এবং একটি মানদণ্ড জমা দেন। আমরা এটিকে আপনার নির্বাচিত একটি AI মডেলের প্যানেলের মাধ্যমে চালিয়ে আনি, আর এর সাথে একটি রেফারি মডেল যা গ্রহণযোগ্যতার মাপকাঠির উপর নিয়ন্ত্রণ করে, এবং আমরা Lean 4 এর বিরুদ্ধে Mathlib এর ফলাফলকে সরকারি করার চেষ্টা করি। আউটপুট হচ্ছে একটি ট্রান্সক্রিপ্ট, একটি নিয়ম, একটি রায়, এবং যেখানে সরকারিকরণের চেষ্টা করা হয়েছে, সেখানে লিন ফলাফল।
২. আউটপুট কি এবং কি নয়
আউটপুট তৃতীয় পক্ষের AI মডেল দ্বারা তৈরি করা হয় এবং এটি কোন পরামর্শ নয়। এটি কোন ধরনের আইনী, চিকিৎসা, আর্থিক, প্রকৌশল বা পেশাদার পরামর্শ নয়, এবং এই সেবা ব্যবহার করে কোন পেশাদার সম্পর্ক তৈরি হয় না।
The referee ruling a criterion met is a statement about the evidence on record in that match. It is not a guarantee of correctness. AI models make mistakes, misread sources, and can fabricate citations despite instructions not to. You must independently verify anything you intend to rely on, particularly before publishing it, submitting it, or acting on it. This is a tool for pressure-testing work, not a substitute for qualified human review.
একটি সফল লেন ফরমালিজমের অর্থ হল লেন কার্নেল যে স্টেটমেন্টটি ফরমালাইজ করা হয়েছিল তার প্রমাণ গ্রহণ করেছে, Mathlib এর সংস্করণের বিরুদ্ধে যেটি সে সময় ব্যবহার করা হচ্ছিল । এর মানে এই নয় যে স্টেটমেন্টটি আপনার জিজ্ঞাসাকৃত শব্দের সত্য অনুবাদ, এবং একটি ফরমাল স্টেটমেন্ট বেছে নেওয়া যা আপনার উদ্দেশ্যে বলে না তা সবচেয়ে সাধারণভাবে একটি ফরমাল ফলাফলকে ভুল পথে নিয়ে যায় । ফরমাল স্টেটমেন্ট পড়ুন, শুধুমাত্র রায় নয় ।
৩. আপনার বিষয়বস্তু
আপনি যে দাবিগুলো জমা দেন এবং আপনার জন্য তৈরি করা আউটপুটগুলোর মালিকানা আপনি রাখেন। আপনি আমাদের কেবল এই পরিষেবা চালানোর জন্য প্রয়োজনীয় লাইসেন্স প্রদান করেন: আপনার জমা দেওয়া প্রক্রিয়া করতে, এটি আপনার নির্বাচিত মডেল সরবরাহকারীদের কাছে প্রেরণ করতে এবং ফলাফল match সংরক্ষণ করতে যাতে আপনি এটিতে ফিরে যেতে পারেন।
Matches are private by default. If you mark a match public it becomes visible to anyone with the link and may appear in our public gallery. Do not publish a match containing anything confidential.
অন্যদের ব্যক্তিগত তথ্য, গোপনীয় তথ্য যা আপনি শেয়ার করার অধিকার রাখেন না, অথবা অবৈধ বিষয়বস্তু পাঠান না।
ক্রেডিট এবং বিলিং
ক্রেডিট পূর্বে পরিশোধ করা হয় এবং matches চালানোর সময় ব্যবহৃত হয়। প্রতিটি match-এর একটি ব্যয় সীমা রয়েছে যা আপনি নির্ধারণ করেন; এতে পৌঁছলে match ব্যয় চালিয়ে যাওয়ার পরিবর্তে স্থগিত হয়ে যায়। ভারসাম্য স্থানান্তরযোগ্য নয় এবং, আইন দ্বারা যেখানে প্রয়োজনীয় তা ব্যতীত, ব্যবহৃত হলে তা ফেরত দেওয়া যাবে না। অব্যবহৃত ক্রেডিট অনুরোধের ভিত্তিতে ফেরত দেওয়া যায়।
আপনি যদি আপনার নিজের inference key সংযুক্ত করেন, তাহলে আপনি আপনার প্রদানকারীকে সরাসরি অর্থ প্রদান করবেন এবং আমরা প্রতি টোকেন খরচের জন্য বিল দেব না। উল্লিখিত বিনামূল্যে অনুমতির অতিক্রম করলে একটি অবকাঠামো ফি প্রযোজ্য হবে যা প্যানেল, টুল এবং স্টোরেজ চালানোর জন্য ব্যবহৃত হবে।
আমরা পূর্বে জানিয়ে মূল্য পরিবর্তন করতে পারি। পরিবর্তন কখনোই ইতোমধ্যে ক্রয়কৃত ক্রেডিট-এর ক্ষেত্রে প্রযোজ্য হবে না।
গ্রহণযোগ্য ব্যবহার
অন্যদের ক্ষতি করার জন্য সার্ভিস ব্যবহার করবেন না, আমাদের প্রম্পট বা সিস্টেম নির্দেশনা বের করার চেষ্টা করবেন না, খরচ বা হারের সীমাবদ্ধতা পরিহার করবেন না, অথবা লিখিত চুক্তি ছাড়া প্রবেশাধিকার পুনরায় বিক্রি করবেন না। কোড-এক্সিকিউশন টুলটি দাবী যাচাই করার জন্য; কোন সিস্টেম আক্রমণ করার জন্য এটি ব্যবহার করবেন না।
উপলব্ধতা
আমরা তৃতীয় পক্ষের মডেল সরবরাহকারীদের উপর নির্ভর করি। সরবরাহকারীরা ত্রুটিযুক্ত হয়, মডেল পরিবর্তন করে এবং তাদের অবৈধ করে। যে কোনো কারণে একটি match বিঘ্নিত হলে তা স্থগিত হয়ে পুনরায় চালু করা যায়; আমরা এমন কাজের জন্য চার্জ করি না যা ঘটেনি। আমরা নিরবচ্ছিন্ন ব্যবহারের নিশ্চয়তা দিতে পারি না, এবং আপনি পূর্বে যে মডেল ব্যবহার করেছেন তা ব্যবহার করা সম্ভব নয়।
দায়বদ্ধতা
আইন দ্বারা অনুমোদিত সর্বোচ্চ পরিমাণে, পরিষেবাটি যেভাবে আছে, সেভাবেই প্রদান করা হয়, কোন ধরনের ওয়ারেন্টি ছাড়া । যে কোন দাবীর জন্য আমাদের মোট দায়বদ্ধতা সীমিত করা হয়েছে আপনি যে পরিমাণ টাকা আমাদের দিয়েছিলেন, দাবীর উত্থানের তিন মাস আগে । আমরা পরোক্ষ বা পরবর্তী ক্ষতির জন্য দায়ী নই, মডেল আউটপুট নির্ভর করে যে কোন ক্ষতির জন্য দায়ী নই ।
সমাপ্তি
আপনি যে কোন সময় আপনার অ্যাকাউন্ট বন্ধ করতে পারেন; আমরা ব্যবহার না করা ক্রেডিট ফিরিয়ে দেব। যে অ্যাকাউন্ট এই শর্ত ভঙ্গ করে অথবা সার্ভিসকে ঝুঁকিতে ফেলে, আমরা সেটি স্থগিত করতে পারি।
৯. পরিবর্তন, ভাষা এবং যোগাযোগ
আমরা এই শর্তাবলী আপডেট করতে পারি; গুরুত্বপূর্ণ পরিবর্তন সাইটে ঘোষণা করা হবে।
এই পাতার অনুবাদ সুবিধার জন্য প্রদান করা হয়েছে এবং এটি মেশিন দ্বারা তৈরি করা হয়েছে। যেখানে অনুবাদ এবং ইংরেজি সংস্করণের মধ্যে পার্থক্য আছে, ইংরেজি সংস্করণটি প্রযোজ্য।
প্রশ্ন: আমাদের সাথে যোগাযোগ করুন.