چونکہ انٹرپرائزز AI پائلٹ پروگراموں کو اپنے کاروبار کے فعال حصوں میں تبدیل کرنے کے لیے جدوجہد کر رہے ہیں، وشوسنییتا نے مرکز کا مرحلہ اختیار کر لیا ہے۔ ایک نیا سٹارٹ اپ کمپیوٹر سائنس کے سب سے زیادہ قابل اعتماد نظاموں میں سے ایک کو اس کے سب سے زیادہ افراتفری میں سے ایک کے ساتھ ملا کر، ریاضیاتی فارمولائزیشن کے ٹولز پر ڈرائنگ کرکے اس مسئلے کو حل کرنے کی امید کر رہا ہے۔

بُدھ کو، Pramaana Labs نے Accel، Boldcap، Nexus Venture Partners، Premji Invest، اور Unbound کی شرکت کے ساتھ، Khosla Ventures کی قیادت میں $27 ملین سیڈ فنڈنگ ​​کا اعلان کیا۔

Pramaana قانون، منشیات کی دریافت، اور ٹیکس کی تیاری جیسے انتہائی حساس عمودی چیزوں پر توجہ مرکوز کرے گا - جہاں غلطیاں مہنگی ہو سکتی ہیں اور قابل اعتماد ایک پریمیم ہے۔ ان سسٹمز میں AI کی تعیناتی کے لیے فریب کاری اور غلطیوں کے خلاف مضبوط تحفظات درکار ہوں گے جتنا کہ ہمارے پاس موجود ہے۔ لیکن جیسا کہ پرمانا کے شریک بانی اور سی ای او رنجن راجگوپالن اسے دیکھتے ہیں، وہ رسمی طور پر بھی منفرد طور پر موزوں ہیں۔

"یہ اس لحاظ سے ریاضی کی طرح ہے کہ آپ کے پاس بہت سارے اصول ہیں جن کی آپ کو پابندی کرنے کی ضرورت ہے،" راجگوپالن نے ٹیکس کوڈ کے قوانین کو بیان کرتے ہوئے TechCrunch کو بتایا۔ "ایک بار جب آپ کے پاس اس کا کوڈفائیڈ ورژن ہو جائے تو اس کے اوپری استدلال فیصلہ کن ہونا شروع ہو جاتا ہے۔"

Pramaana کا نظام اب بھی روایتی LLM پر چلتا ہے، اسے قدرتی زبان کے سوالات کے جوابات دینے اور پیچیدہ مسائل سے نمٹنے کے لیے لچک فراہم کرتا ہے جنہیں روایتی کمپیوٹرز نہیں سنبھال سکتے۔ لیکن اس LLM کے اوپر ایک تعییناتی پرت ہے جو LLM کے کام کی جانچ پڑتال کو یقینی بناتی ہے۔

ڈیٹرمنسٹک تصدیق کے ساتھ ایل ایل ایم انجن کا یہ مجموعہ ایک مقبول سیٹ اپ ہے۔ Pramaana کا منفرد طریقہ رسمی تصدیق کے ٹولز کا استعمال کرنا ہے - اوپن سورس LEAN پروگرامنگ زبان پر ڈرائنگ جو ریاضی کے ثبوتوں کی تصدیق کے لیے استعمال کی جاتی ہے۔ اس کام کے زیادہ تر کے لیے حقیقی نظیر موجود ہے؛ راجگوپالن نے فرانس کے CATALA پروجیکٹ کی طرف اشارہ کیا، جو ملک کے ٹیکس اور فائدے کے زیادہ تر نظام کو قابل عمل کوڈ میں باضابطہ بناتا ہے۔

استعمال کے ہر معاملے کے لیے، Pramaana ڈومین کے ماہرین کے زیر نگرانی اپنا LEAN طرز کا باقاعدہ تصدیقی نظام بنائے گا۔ ٹیکس قانون کے لیے، کمپنی آئی آر ایس کے سابق کمشنر ڈینی ورفیل کے ساتھ کام کر رہی ہے، جبکہ آئی آئی ٹی دہلی، آئی آئی ٹی مدراس، اور یو سی برکلے کے پروفیسر سائبر سیکیورٹی اور منشیات کی دریافت کے نظام کی نگرانی کرتے ہیں۔

"دنیا کے مشکل ترین مسائل ناقابل حل نہیں ہیں۔ وہ غیر رسمی ہیں،" راجگوپالن کہتے ہیں۔ "ہر ڈومین جہاں غلط ہونا کسی کی صحت، پیسہ، یا آزادی کی قیمت لگا سکتا ہے اس کے اصول ہیں۔"

اب، ان قوانین کو صرف کوڈفائی کرنے کی ضرورت ہے۔