প্যানেলটি আসলে কি করতে পারে

প্রতিটি আসন- রেফারি সহ- একই ধরনের টুলস পাবে। রেফারিকে একটি দাবি যাচাই করতে হবে, শুধুমাত্র এটা কিভাবে যুক্তি প্রদান করা হয়েছে তা ভারসাম্য করতে হবে না।

সাহিত্য অনুসন্ধান

arXiv, OpenAlex, Crossref, Europe PMC and Semantic Scholar — the primary sources, not blog restatements of them. Maths, physics, CS, biology, medicine, economics.

সিটকে বলা হয়েছে, নিজেরা চেষ্টা করার আগে যা প্রমাণিত হয়েছে তা পরীক্ষা করে দেখতে হবে, কারণ পরিচিত ফলাফল পুনরায় বের করা আপনার টাকা নষ্ট করে।

ওয়েব অনুসন্ধান

নিজেরাই হোস্ট করা অনুসন্ধান, যেখানে আসল সাইটগুলোর উপর নিষেধাজ্ঞা রয়েছে - আর্কিভ. অর্গের জন্য জিজ্ঞেস করলে আপনি আর্কিভ. অর্গ পাবেন, ইঞ্জিন যাই বলুক না কেন।

পাতাগুলো পাওয়া যায় এবং পড়ে, তাই উদ্ধৃতিতে উদ্ধৃত হতে পারে সেই অংশ যা এর উপর ভিত্তি করে।

স্যান্ডবক্স কোড

sympy, mpmath এবং numpy এর সাথে পাইথন, তাই একটি আসন একটি সীমানা পরীক্ষা করতে পারে, একটি প্রতিউদাহরণ অনুসন্ধান করতে পারে বা এটিকে আশ্বস্ত করার পরিবর্তে একটি বিজারণ পদক্ষেপ পরীক্ষা করতে পারে।

নেটওয়ার্ক ব্যবহার না করে, CPU এবং মেমরি ব্যবহার না করে চালানো হয়।

গণিত পরের ঘরে চলে যায়

এই সাইটটি অভিজ্ঞতাবাদী দাবির সমাধান করে, যেখানে প্রমাণ একটি উৎস বা একটি পরিমাপ। একটি তত্ত্ব এমন নয়: এর জন্য একটি প্রমাণের শর্ত প্রয়োজন যা কার্নেল গ্রহণ করে, একটি ভালভাবে যুক্তিযুক্ত কেস নয়।

So mathematical goals belong on our sibling site, which runs the same panel and then checks the result in Lean 4 against Mathlib. theorem.chat

অনুমান করার পরিবর্তে ক্রমবর্ধমান

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

আর রেফারির নিজের টুলস

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