সেৱাৰ শৰ্তাবলী

Theorem.chat Muddy Holdings LLC (we, us) দ্বাৰা পৰিচালিত হয়। সেৱা ব্যৱহাৰ কৰি আপুনি এই নিয়মসমূহ গ্ৰহণ কৰে।

১. সেৱাটো কি কৰে

আপুনি এটা দাবী আৰু এটা মান প্ৰদান কৰে। আমি ইয়াক আপুনি নিৰ্বাচন কৰা AI মডেলৰ পেনেলৰ মাজেৰে চলাওঁ, লগতে এটা ৰেফাৰ মডেল যি গ্ৰহণৰ মানদণ্ডত নিয়ম স্থাপন কৰে, আৰু আমি Lean 4 ৰ বিৰুদ্ধে Mathlib ৰ ফলাফলৰ গঠনত প্ৰচেষ্টা কৰোঁ। আউটপুট হৈছে এটা অনুলিপি, নিয়ম গঠনৰ এক সেট, এটা রায়, আৰু য'ত গঠনৰ চেষ্টা কৰা হৈছিল, Lean ফলাফল।

২. আউটপুট কি আৰু কি নহয়

আউটপুট তৃতীয় পক্ষৰ AI মডেল দ্বাৰা প্ৰস্তুত কৰা হয় আৰু এইটো কোনো পরামর্শ নহয়। এইটো কোনো ধৰণৰ আইনী, চিকিৎসা, আৰ্থিক, প্ৰকৌশল বা পেছাদাৰী পরামর্শ নহয়, আৰু এই সেৱা ব্যৱহাৰ কৰি কোনো পেছাদাৰী সম্পৰ্ক তৈয়াৰ নহয়।

ৰেফাৰিৰ দ্বাৰা এটা মানদণ্ড পূৰণ কৰা হৈছে সেই খেলত ৰেকৰ্ড কৰা প্ৰমাণৰ বিষয়ে এটা বিবৃতি। ই সঠিকতাৰ ৱাৰেন্টি নহয়। AI মডেল ভুল কৰে, উৎস ভুল পঢ়ে, আৰু অনুমতি নোহোৱাকৈ উদ্ধৃতি তৈৰি কৰিব পাৰে। আপুনি যিকোনো বস্তুৰ ওপৰত নিৰ্ভৰ কৰিব ইচ্ছুক, আপুনি স্বাধীনভাৱে সেয়া পৰীক্ষা কৰিব লাগিব, বিশেষকৈ প্ৰকাশ কৰাৰ আগতে, প্ৰেৰণ কৰাৰ আগতে, বা ইয়াৰ ওপৰত কাৰ্য্য কৰাৰ আগতে। এইটো প্ৰেৰণ-পৰীক্ষাৰ কামৰ বাবে এটা সৰঞ্জাম, মানৱীয় প্ৰশংসা প্ৰাপ্তিৰ বাবে এটা প্ৰতিস্থাপন নহয়।

সফল Lean formalization ৰ অৰ্থ হল Lean kernel এ সেই সময় ব্যৱহাৰ কৰা Mathlib সংস্কৰণৰ বিৰুদ্ধে formalized কৰা statement ৰ প্ৰমাণ গ্ৰহণ কৰিছে। ইয়াৰ অৰ্থ এই নহয় যে statement টো আপুনি যি সুধিছে তাৰ সঠিক অনুবাদ, আৰু এটা formal statement নিৰ্বাচন কৰা যি আপুনি যি বুজিছে সেয়া কোৱা নাই, এটা formal result ৰ বাবে সৰ্বাধিক সাধাৰণ পথ। formal statement পঢ়ক, কেৱল verdict নহয়।

আপোনাৰ সমলসমূহ

আপুনি যি দাবীসমূহ জমা দিয়ে আৰু আপোনাৰ বাবে নিৰ্মিত আউটপুটৰ মালিকানা আপুনি ৰক্ষা কৰে। আপুনি আমাক কেৱল সেৱা চলাবলৈ প্ৰয়োজনীয় লাইচেঞ্চ প্ৰদান কৰে: আপোনাৰ জমা প্ৰক্ৰিয়া কৰিবলৈ, আপুনি নিৰ্বাচন কৰা মডেল প্ৰদানকাৰীলৈ ইয়াক প্ৰেৰণ কৰিবলৈ, আৰু ফলাফলৰ মিল সংৰক্ষণ কৰিবলৈ যাতে আপুনি ইয়াত পুনৰায় যাব পাৰে।

অবিকল্পিতৰূপে মিলসমূহ ব্যক্তিগত। আপুনি যদি এটা মিলক ৰাজহুৱা হিচাপে চিহ্নিত কৰে তেন্তে ইয়াক লিঙ্ক থকা যিকোনো ব্যক্তিৰ বাবে দৃশ্যমান হ'ব আৰু আমাৰ ৰাজহুৱা গেলেৰীত প্ৰদৰ্শিত হ'ব পাৰে। গোপনীয় কোনো বস্তু অন্তৰ্ভুক্ত কৰা মিল প্ৰকাশ নকৰিব।

অন্যৰ ব্যক্তিগত তথ্য, গোপনীয় তথ্য যি আপুনি ভাগ কৰিবলে অধিকাৰ নাই, বা অবৈধ বিষয়বস্তু প্ৰেৰণ নকৰিব।

4. ঋণ আৰু বিলিং

ক্ৰেডিট প্ৰিপেইড আৰু মেল চলাৰ সময়ত ব্যৱহাৰ কৰা হয়। প্ৰতিটো মেলেৰ বাবে আপুনি নিৰ্ধাৰণ কৰা ব্যয়ৰ সীমা আছে; ইয়াত উপনীত হ'লে ব্যয় অব্যাহত ৰাখিবৰ পৰিবৰ্তে মেল স্থগিত কৰা হয়। ভাৰ স্থানান্তৰযোগ্য নহয় আৰু, আইনৰ দ্বাৰা প্ৰয়োজনীয় স্থানসমূহ ব্যতীত, ব্যৱহাৰ কৰাৰ পিছত পুনৰায় প্ৰদান কৰা নহয়। অব্যৱহৃত ক্ৰেডিট অনুৰোধ কৰিলে পুনৰায় প্ৰদান কৰা হয়।

আপুনি যদি আপোনাৰ নিজস্ব inference কি' সংযোগ কৰে, আপুনি আপোনাৰ প্ৰদানকাৰীক সরাসৰি পৰিশোধ কৰে আৰু আমি প্ৰতি-টোকেন চাৰ্ভাৰৰ কোনো বিল নকৰোঁ। উল্লিখিত বিনামূলীয়া অনুমতিৰ পিছত পেনেল, সৰঞ্জাম আৰু সংৰক্ষণ চলাবলৈ এটা আন্তঃগাঁথনি ফি প্ৰয়োগ কৰে।

আমি সতৰ্কবাণীৰ সৈতে মূল্য পৰিবৰ্তন কৰিব পাৰো। পৰিবৰ্তনসমূহ ইতিমধ্যে ক্ৰয় কৰা ক্ৰেডিটত কেতিয়াও প্ৰযোজ্য নহয়।

গ্ৰহণযোগ্য ব্যৱহাৰ

অন্যৰ ক্ষতি কৰা বিষয়বস্তু সৃষ্টি কৰিবলৈ, আমাৰ প্ৰমপ্ট বা চিস্টেম নির্দেশসমূহ এক্সট্ৰেক্ট কৰাৰ চেষ্টা কৰিবলৈ, ব্যয় বা হাৰ সীমাবদ্ধতাসমূহ আঁতৰাবলৈ, অথবা লিখিত চুক্তি নোহোৱাকৈ প্ৰৱেশ পুনৰ বিক্ৰী কৰিবলৈ সেৱা ব্যৱহাৰ নকৰিব। কোড-এক্সিকিউশন টুল দাবীসমূহ পৰীক্ষা কৰাৰ বাবে; কোনো চিস্টেম আক্ৰমণ কৰিবলৈ ইয়াক ব্যৱহাৰ নকৰিব।

উপলব্ধতা

আমি তৃতীয় পক্ষৰ মডেল প্ৰদানকাৰীৰ ওপৰত নিৰ্ভৰ কৰোঁ। প্ৰদানকাৰীসমূহ তললৈ যায়, মডেল পৰিবৰ্তন কৰে, আৰু তেওঁলোকক অবৈধ কৰে। কোনো কাৰণত বিঘ্নিত কৰা এটা মিল স্থগিত আৰু পুনৰাম্ভযোগ্য; আমি ঘটে নি থকা কামৰ বাবে চাৰ্জ নকৰোঁ। আমি অবিৰাম উপলব্ধতা গৰিমানা নকৰোঁ, আৰু আপুনি আগতে ব্যৱহাৰ কৰা এটা মডেল অপ্ৰাপ্তিবলে পৰিব।

দায়বদ্ধতা

আইনে অনুমোদিত সর্বোচ্চ পৰিমাণত, সেৱাটো যিদৰে আছে তেনেকৈ কোনো ধৰণৰ ৱাৰেন্টি নোহোৱাকে প্ৰদান কৰা হয়। যিকোনো দাবীৰ বাবে আমাৰ সম্পূৰ্ণ দায়বদ্ধতা দাবীৰ সৃষ্টি হোৱাৰ পূৰ্বে তিনি মাহত আপুনি আমাক যি পৰিমাণ পৰিশোধ কৰিছে সেই পৰিমাণত সীমাবদ্ধ। আমি পৰোক্ষ বা ফলপ্ৰসূ ক্ষতিৰ বাবে দায়বদ্ধ নহয়, মডেল আউটপুটত নিৰ্ভৰ কৰি উৎপন্ন হোৱা কোনো ক্ষতি অন্তৰ্ভুক্ত কৰে।

সমাপ্তি

আপুনি আপোনাৰ একাওন্ট যিকোনো সময়ত বন্ধ কৰিব পাৰে; আমি ব্যৱহাৰ নোহোৱা ক্রেডিট পুনৰায় প্ৰদান কৰিম। আমি এই শৰ্তাৱলী লংঘন কৰা অথবা সেৱা বিপদত পেলাই দিয়া একাওন্টসমূহ নিষ্ক্ৰিয় কৰিব পাৰিম।

৯. পৰিবৰ্তন, ভাষা আৰু যোগাযোগ

আমি এই নিয়মসমূহ আপডেইট কৰিব পাৰিম; বস্তুগত পৰিবৰ্তনসমূহ ৱেবছাইটত ঘোষণা কৰা হ’ব।

এই পৃষ্ঠাৰ অনুবাদ সুবিধাৰ বাবে প্ৰদান কৰা হৈছে আৰু মেচিন-প্ৰস্তুত কৰা হৈছে। যেতিয়া অনুবাদ আৰু ইংৰাজী সংস্কৰণ ভিন্ন হয়, ইংৰাজী সংস্কৰণ প্ৰধান।

প্ৰশ্ন: আমাৰ সৈতে যোগাযোগ কৰক.