গণিতের পৃষ্ঠা
প্রমাণ সফটওয়্যার দ্বারা যাচাইকৃত
ধারণাটি
পাঁচটি চেক যা সব একে অপরকে অনুলিপি করে আসলে একটি চেক।
ধরুন পাঁচজন ব্যক্তি একটি উত্তর চেক করলেন এবং পাঁচজনই একমত হলেন। এটা নিরাপদ মনে হয়। কিন্তু যদি পাঁচজনই একই জায়গা থেকে শিখে থাকেন, তাহলে তাদের সম্মতি পাঁচটি মতামত নয়। এটি একটি মতামত পাঁচবার পুনরাবৃত্ত। চেকের সংখ্যাটি পাঁচের মতো দেখায়। প্রকৃত সংখ্যাটি একটি।
এটি AI-এর ক্ষেত্রে গুরুত্বপূর্ণ। একটি AI সিস্টেম তার নিজের যুক্তিতে অনেক চেক চালাতে পারে এবং তবুও বোকা হতে পারে — যদি সেই চেকগুলো একই অন্ধ দাগ ভাগ করে। Coherence Collapse Analysis হলো CIRIS কীভাবে সত্যিকারের চেক এবং প্রতিধ্বনির মধ্যে পার্থক্য বলে।
একটিমাত্র সূত্র
আপনার কাছে আসলে কতটি চেক আছে তা গণনা করা।
এর হৃদয়ে একটিমাত্র সংক্ষিপ্ত সূত্র আছে। এটি জরিপ পরিসংখ্যান থেকে এসেছে, যেখানে এটিকে Kish design effect বলা হয়। AI অ্যালাইনমেন্টের জন্য এটি প্রথম ব্যবহার করেছে CIRIS।
real checks = checks / (1 + copying × (checks − 1))
"Checks" হলো আপনি কতটি চেক চালিয়েছেন। "Copying" হলো সেগুলো কতটা ওভারল্যাপ করে, ০ থেকে (সব স্বাধীন) ১ পর্যন্ত (সব একই)। ফলাফলটি হলো আপনার কাছে আসলে কতটি চেক আছে।
কোনো অনুলিপি নেই: দশটি চেক দশটি হিসাবে গণনা হয়। প্রতিটি চেক তার জায়গা অর্জন করে।
সম্পূর্ণ অনুলিপি: দশটি চেক একটি হিসাবে গণনা হয়। আপনি কতটি যোগ করেন তা কোনো ব্যাপার না।
সুস্থ ব্যান্ড
না বেশি একঘেয়ে, না বেশি বিক্ষিপ্ত।
এখানে একই আকার দেখায় যা CIRIS সব জায়গায় দেখে। চেকগুলো যদি একে অপরকে বেশি অনুলিপি করে, সিস্টেমটি অত্যধিক কঠোর: একটি কণ্ঠ বারবার বলা হয়, সহজে বোকা বানানো যায়। যদি তাদের মধ্যে কিছুই মিল না থাকে, এটি অত্যধিক বিক্ষিপ্ত: তারা কোনো কিছুতেই একমত হতে পারে না। সুস্থ চেক মধ্যবর্তী ব্যান্ডে থাকে — একই করিডর যার চারপাশে CIRIS-এর বাকি অংশ তৈরি।
সেই ব্যান্ডের সঠিক প্রান্তগুলো পরিমাপ করা হচ্ছে এমন সিস্টেমের উপর নির্ভর করে। কোনো একটি জাদুকরী সংখ্যা নেই যা সর্বত্র কাজ করে, এবং গবেষণা সে বিষয়ে সৎ। করিডর ধারণাটি, সম্পূর্ণরূপে, ভিশন পৃষ্ঠায় রয়েছে।
বাস্তব ট্র্যাফিকে
এটি পরিমাপ করা হয়েছে, শুধু যুক্তি দেওয়া হয়নি।
CIRIS তার নিজের লাইভ এজেন্ট ট্র্যাফিকে হাজার হাজার রেকর্ড করা সিদ্ধান্ত জুড়ে প্রকৃত-চেক গণনা পরিমাপ করেছে। সুস্থ ট্র্যাফিকে এটি প্রায় সাত থেকে নয়টি সত্যিকারের স্বাধীন চেকের পরিসরে চলেছে। সেই পরিমাপ, এবং এটি কীভাবে করা হয়েছিল, হলো Constrained Reasoning Chains study। আপনি গবেষণা পৃষ্ঠায় লাইভ সংখ্যাগুলো দেখতে পারেন।
সৎ সিলিং
এই গণিত কী করতে পারে না।
পেপারটি নিজের উপর একটি কঠিন সীমা প্রমাণ করে। কিছু ধরনের ক্ষতি একটি অসৎ অংশ থেকে আসে না। সেগুলো সৎ অংশ থেকে আসে যা মিলে খারাপ ফলাফল দেয়, এবং সেই ধরনের ক্ষতির প্রায় চল্লিশ শতাংশ কোনো চেকার ধরতে পারে না, যত ভালোই হোক। CIRIS এটি স্পষ্টভাবে বলে, এই ভান না করে যে গণিত সবকিছু ধরে।
গণিতটি সময়ের সাথে খরচ সম্পর্কে যা বলে তা হলো: সপ্তাহের পর সপ্তাহ সত্যিকারের, সৎ যুক্তি চালানো হাজার হাজার রেকর্ড করা সিদ্ধান্ত জুড়ে একটি মিথ্যা সামঞ্জস্যপূর্ণ রাখার চেয়ে আরো স্থির ও সস্তা। এটি সততার দিকে ভূমিটি হেলিয়ে দেয়। এটি প্রতিটি একক মিথ্যা ধরার প্রতিশ্রুতি দেয় না।
এটি কীভাবে একসাথে ফিট করে
গণিতটি একটি বড় সমগ্রের একটি অংশ।
এই পৃষ্ঠাটি পরিমাপ। Coherence Ratchet হলো পরিমাপটি কাজে লাগানোর উপায়। ফেডারেশন হলো কীভাবে এটি অনেক সিস্টেম ভাগ করে নেওয়া কিছুতে পরিণত হয়। এবং সম্পূর্ণ প্রমাণগুলো, যা একটি কম্পিউটার লাইন বাই লাইন চেক করতে পারে, পেপারে এবং RATCHET রিপোজিটরিতে রয়েছে।