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