ফরমাল ভেরিফিকেশনের মাধ্যমে AI নির্ভরযোগ্যতা নিশ্চিত করতে Pramaana Labs ২৭ মিলিয়ন ডলার সংগ্রহ করেছে

এন্টারপ্রাইজগুলো যখন AI-কে পরীক্ষামূলক পাইলট প্রোগ্রাম থেকে অত্যন্ত গুরুত্বপূর্ণ ব্যবসায়িক কার্যক্রমে রূপান্তর করতে হিমশিম খাচ্ছে, তখন শিল্পটি একটি বিশাল বাধার সম্মুখীন হচ্ছে: নির্ভরযোগ্যতা। Pramaana Labs Large Language Models (LLMs)-এর অনিশ্চিত প্রকৃতির ওপর ফরমাল ভেরিফিকেশনের গাণিতিক কঠোরতা প্রয়োগ করার মাধ্যমে এই ব্যবধান দূর করার লক্ষ্য নির্ধারণ করেছে।

প্রোবাবিলিস্টিক (Probabilistic) এবং ডিটারমিনিস্টিক (Deterministic) AI-এর মধ্যকার ব্যবধান দূর করা

আধুনিক AI-এর মৌলিক দ্বন্দ্বটি প্রোবাবিলিস্টিক রিজনিং (probabilistic reasoning) এবং ডিটারমিনিস্টিক সত্যের (deterministic truth) মধ্যকার পার্থক্যের মধ্যে নিহিত। যদিও LLM-গুলো প্রাকৃতিক ভাষা প্রক্রিয়াকরণ এবং জটিল, অসংগঠিত ডেটা পরিচালনায় পারদর্শী, তবুও এগুলো হ্যালুসিনেশন (hallucinations) এবং লজিক্যাল ভুলের প্রতি প্রবণ। যেসব শিল্পে একটি মাত্র ভুল আইনি বা আর্থিক বিপর্যয় ডেকে আনতে পারে, সেখানে এই ধরনের ভুল অগ্রহণযোগ্য।

Pramaana Labs একটি হাইব্রিড আর্কিটেকচার তৈরির মাধ্যমে এই সমস্যার সমাধান করছে। তাদের সিস্টেমটি প্রাকৃতিক ভাষার মিথস্ক্রিয়ার জন্য প্রয়োজনীয় নমনীয়তা বজায় রাখতে একটি প্রচলিত LLM ইঞ্জিন ব্যবহার করে, তবে এর ওপর একটি ডিটারমিনিস্টিক ভেরিফিকেশন লেয়ার যুক্ত করা হয়েছে। এই লেয়ারটি নিশ্চিত করে যে LLM দ্বারা তৈরি আউটপুট যেন কঠোর ও কোডিফাইড (codified) নিয়ম মেনে চলে, যা কার্যকরভাবে ভুলের বিরুদ্ধে একটি গাণিতিক গার্ডরেল হিসেবে কাজ করে।

উচ্চ-ঝুঁকিপূর্ণ শিল্প প্রয়োগের জন্য LEAN-এর ব্যবহার

সাধারণ সফটওয়্যার টেস্টিংয়ের বিপরীতে, Pramaana Labs ফরমাল ভেরিফিকেশনের সরঞ্জামগুলো ব্যবহার করছে, বিশেষ করে ওপেন-সোর্স LEAN প্রোগ্রামিং ল্যাঙ্গুয়েজ থেকে অনুপ্রেরণা নিচ্ছে। LEAN ঐতিহ্যগতভাবে জটিল গাণিতিক প্রমাণ যাচাই করতে ব্যবহৃত হয় এবং Pramaana এই প্রযুক্তিকে নির্দিষ্ট পেশাদার ডোমেইনগুলোর "নিয়ম" কোডিফাই করার জন্য অভিযোজিত করার পরিকল্পনা করছে।

কোম্পানিটি এমন উচ্চ-সংবেদনশীল খাতগুলোকে লক্ষ্য করছে যেখানে নির্ভুলতা অপরিহার্য:

এই সিস্টেমগুলো বাস্তবসম্মত কিনা তা নিশ্চিত করতে Pramaana শীর্ষস্থানীয় ডোমেইন বিশেষজ্ঞদের সাথে সহযোগিতা করছে। এর মধ্যে ট্যাক্স সংক্রান্ত অ্যাপ্লিকেশনের জন্য সাবেক IRS কমিশনার Danny Werfel-এর পাশাপাশি সাইবার সিকিউরিটি এবং ড্রাগ ডিসকভারি প্রোটোকল তদারকি করার জন্য IIT Delhi, IIT Madras এবং UC Berkeley-এর অধ্যাপকরা অন্তর্ভুক্ত রয়েছেন।

AI ইকোসিস্টেমের জন্য এটি কেন গুরুত্বপূর্ণ

Khosla Ventures-এর নেতৃত্বে Accel, Boldcap, Nexus Venture Partners, Premji Invest এবং Unbound-এর অংশগ্রহণে সম্পন্ন হওয়া $২৭ মিলিয়নের সিড রাউন্ড এআই (AI) বিনিয়োগের ক্ষেত্রে একটি বিশাল পরিবর্তনের ইঙ্গিত দিচ্ছে। জেনারেটিভ এআই-এর "move fast and break things" (দ্রুত কাজ করুন এবং ভুল করতে দ্বিধা করবেন না) যুগ এখন এন্টারপ্রাইজ জগতের "verify and validate" (যাচাই এবং নিশ্চিতকরণ) প্রয়োজনীয়তার মুখোমুখি হচ্ছে।

অনানুষ্ঠানিক জ্ঞানকে কার্যকর এবং যাচাইযোগ্য কোডে রূপান্তরের মাধ্যমে (ফ্রান্সের CATALA প্রকল্পের মতো), Pramaana Labs একটি ব্লুপ্রিন্ট প্রদান করছে যে কীভাবে নিয়ন্ত্রিত খাতগুলোতে এআই (AI) ব্যবহার করা যেতে পারে। যদি এটি সফল হয়, তবে এই পদ্ধতিটি মানুষের স্বাস্থ্য, আইনি অধিকার এবং বিশাল আর্থিক ব্যবস্থা নিরাপদে পরিচালনা করার মাধ্যমে ট্রিলিয়ন ডলারের মূল্য উন্মোচন করতে পারে।

মূল বিষয়সমূহ