کمپنیاں اب بھی AI کو پائلٹ منصوبوں سے مستقل کاروباری ٹول میں تبدیل کرنے کے طریقے تلاش کر رہی ہیں، اور قابلیت کے مسائل اس کے عملی اطلاق کا بنیادی رکاوٹ بن چکے ہیں۔ Pramaana Labs نے 27 ملین امریکی ڈالر کے بیج فنڈنگ کو مکمل کرنے کا اعلان کیا ہے، جس کا مقصد بڑے ماڈلز کے لیے ایک فارمال ویریفیکیشن طریقہ کار کے ذریعہ قابل چیک کرنے والی یقینی نظام شامل کرنا ہے۔
اس سیریز میں Khosla Ventures نے لیڈ کیا، جبکہ Accel، Boldcap، Nexus Venture Partners، Premji Invest اور Unbound نے سرمایہ کاری کی۔ کمپنی پہلے ٹیکس، قانونی اور دوائوں کی تحقیق جیسے انتہائی حساس شعبوں پر توجہ مرکوز کرے گی، جہاں کسی غلطی کا اخراج اکثر بہت زیادہ ہوتا ہے۔
سب سے پہلے اعلیٰ خطرہ والے صنعتوں میں کام کریں
پراماانا کا خیال ہے کہ اس قسم کے صنعتی شعبے، جن کے قوانین پیچیدہ ہوتے ہیں، انہیں کوڈ اور تصدیق کے لیے زیادہ مناسب ہوتے ہیں۔ ٹیکس کا مثال کے طور پر، متعلقہ قوانین خود بخود بہت ساری واضح دفعات پر مشتمل ہوتے ہیں۔ جب ان قوانین کو قابل اجراء ساخت میں ترتیب دے دیا جائے، تو بعد کا استدلال عملی طور پر یقینی بن جاتا ہے، نہ کہ مکمل طور پر ماڈل کے ذریعہ تخلیق شدہ نتائج پر منحصر رہے۔
کمپنی کے ملکی متحدہ اور سی ای او رنجن راجاگوپالن کے مطابق، بہت سے اعلیٰ خطرے والے صنعتی شعبے AI کے ذریعے نہیں ہو سکتے، بلکہ ان کے قواعد کو فارم لینے کا عمل ابھی مکمل نہیں ہوا۔ جب تک کہ اہم قواعد کو قابل تصدیق نظام میں تبدیل نہیں کر دیا جاتا، تب تک ماڈلز کے اہم کاموں میں جھوٹ اور تحریف کا مسئلہ کم نہیں ہو سکتا۔
بڑے ماڈل پر تصدیقی لیئر شامل کریں
پرامانا کا منصوبہ روایتی بڑے ماڈلز کو چھوڑنے کے بجائے، اس کے سسٹم کی بنیاد پر معمول کے LLM کا استعمال کرتا ہے تاکہ قدرتی زبان کی سمجھ اور پیچیدہ مسائل کے حل کی صلاحیت برقرار رہے؛ اس کے علاوہ، ایک یقینی تصدیقی ماڈول شامل کیا گیا ہے جو ماڈل کے آؤٹ پٹ کو مقررہ قواعد کے مطابق چیک کرتا ہے۔
یہ طریقہ فارمال ویریفیکیشن ٹولز سے متاثر ہے۔ کمپنی نے بتایا کہ اس کا طریقہ اوپن سورس پروگرامنگ زبان LEAN سے متاثر ہے۔ یہ ٹول عام طور پر ریاضی کے ثبوت کی تصدیق کے لیے استعمال ہوتا ہے۔ راجاگوپالن نے مزید بتایا کہ فرانس کا CATALA پراجیکٹ کچھ ٹیکس اور بھرتی کے نظام کو قابل اجراء کوڈ میں تبدیل کر چکا ہے، جو اسی قسم کے راستے کے لیے ایک عملی مثال فراہم کرتا ہے۔
ماڈلنگ میں شعبے کے ماہرین کو شامل کریں
مختلف اطلاقیہ کے لیے، پرامانا الگ الگ فارمال ویریفیکیشن سسٹم بنائے گا اور صنعت کے ماہرین کی نگرانی میں یہ کام ہوگا۔ ٹیکس کے شعبے میں، کمپنی سابقہ امریکی خزانہ کے چیف ڈینی ورفل کے ساتھ کام کر رہی ہے۔ سائبر سیکورٹی اور دوا کی ترقی کے شعبوں میں، آئی آئی ٹی دہلی، آئی آئی ٹی مدراس اور کیلیفورنیا یونیورسٹی، برکلی کے پروفیسرز شامل ہیں۔
کمپنی کے خیال کے مطابق، اس قسم کے نظام صحت، فنانس اور قانونی نتائج کے لیے زیادہ اہم کاموں کے لیے مناسب ہیں۔ اس کا مقصد یہ نہیں کہ ماڈل الگ طور پر فیصلہ کرے، بلکہ یہ ہے کہ ماڈل ایک قابل تصدیق قواعد کے سیٹ کے اندر استدلال اور جوابات دے، جس سے کاروباری تنصیب کی قابلیت میں اضافہ ہو۔
- فنڈنگ راشہ: 27 ملین امریکی ڈالر کی بیج راؤنڈ
- لیڈ انویسٹر: Khosla Ventures
- اہم مناظر: ٹیکس، قانون، دوا کی تحقیق