جيئن ته ادارا AI پائلٽ پروگرامن کي انهن جي ڪاروبار جي فنڪشنل حصن ۾ تبديل ڪرڻ جي جدوجهد ڪن ٿا، اعتماد جو مرڪز اسٽيج ورتو آهي. هڪ نئين شروعات جي اميد آهي ته هن مسئلي کي حل ڪرڻ لاءِ رياضياتي فارمولائيزيشن جي اوزارن تي ڊرائنگ ڪندي، ڪمپيوٽر سائنس جي سڀ کان وڌيڪ قابل اعتماد سسٽم مان هڪ کي ان جي سڀ کان وڌيڪ افراتفري سان گڏ ڪري.

اربع تي، Pramaana Labs اعلان ڪيو $27 ملين سيڊ فنڊنگ ۾ Khosla Ventures جي اڳواڻي ۾، ​​شموليت سان Accel، Boldcap، Nexus Venture Partners، Premji Invest، ۽ Unbound.

Pramaana انتهائي حساس عمودي تي ڌيان ڏيندو، جهڙوڪ قانون، دوا جي دريافت، ۽ ٽيڪس تيار ڪرڻ - جتي غلطيون قيمتي ٿي سگهن ٿيون ۽ قابل اعتماد هڪ پريميم تي آهي. انهن سسٽم ۾ AI کي ترتيب ڏيڻ جي ضرورت هوندي ته اسان وٽ هن وقت جي ڀيٽ ۾ خيال ۽ غلطين جي خلاف مضبوط تحفظات. پر جيئن پرمانا جو گڏيل باني ۽ سي اي او رنجن راجاگوپالن ان کي ڏسي ٿو، اهي پڻ منفرد طور تي رسمي ڪرڻ لاء مناسب آهن.

”اهو رياضي وانگر آهي ان معنيٰ ۾ ته توهان وٽ ڪيترائي قاعدا آهن جن تي توهان کي عمل ڪرڻ جي ضرورت آهي ،“ راجگوپالن ٽيڪ ڪرنچ کي ٻڌايو ، ٽيڪس ڪوڊ جا قاعدا بيان ڪندي. "هڪ دفعو توهان وٽ ان جو ڪوڊ ٿيل نسخو آهي، ان جي چوٽي تي استدلال مقرر ٿيڻ شروع ٿئي ٿو."

Pramaana جو سسٽم اڃا تائين هڪ روايتي LLM تي هلندو آهي، ان کي قدرتي ٻولي سوالن جا جواب ڏيڻ ۽ پيچيده مسئلن کي حل ڪرڻ جي لچڪ فراهم ڪري ٿي جيڪي روايتي ڪمپيوٽرن کي هٿي نه ڏئي سگھن ٿيون. پر LLM جي چوٽي تي ھڪ مقرري واري پرت آھي جيڪا LLM جي ڪم جي چڪاس کي يقيني بڻائي ٿي.

هي ميلاپ هڪ LLM انجڻ جو تعيناتي تصديق سان گڏ هڪ مشهور سيٽ اپ آهي؛ Pramaana جو منفرد طريقو آهي رسمي تصديق جا اوزار استعمال ڪرڻ - ڊرائنگ تي اوپن سورس LEAN پروگرامنگ ٻولي استعمال ڪئي وئي رياضياتي ثبوتن جي تصديق ڪرڻ لاءِ. هن ڪم جي تمام گهڻو لاء حقيقي مثال آهي؛ راجگوپالن فرانس جي CATALA پروجيڪٽ ڏانهن اشارو ڪري ٿو، جيڪو ملڪ جي تمام گهڻو ٽيڪس ۽ فائدي واري نظام کي قابل عمل ڪوڊ ۾ رسمي ڪري ٿو.

هر استعمال جي ڪيس لاءِ، Pramaana پنهنجو LEAN طرز جو رسمي تصديق وارو نظام ٺاهيندو، جيڪو ڊومين جي ماهرن جي نگراني ڪندو. ٽيڪس قانون لاءِ، ڪمپني اڳوڻي آئي آر ايس ڪمشنر ڊيني ويرفيل سان گڏ ڪم ڪري رهي آهي، جڏهن ته IIT دهلي، IIT مدراس، ۽ يو سي برڪلي جا پروفيسر سائبر سيڪيورٽي ۽ منشيات جي دريافت واري نظام جي نگراني ڪن ٿا.

”دنيا جا سخت ترين مسئلا حل نه ٿيڻ وارا آهن. اهي غير رسمي آهن،“ راجگوپالن چوي ٿو. "هر ڊومين جتي غلط ٿي سگهي ٿو ڪنهن کي خرچ ڪري سگهي ٿو انهن جي صحت، پئسا، يا آزادي جا ضابطا آهن."

هاڻي، انهن ضابطن کي صرف ڪوڊ ڪرڻ جي ضرورت آهي.