لکه څنګه چې تصدۍ د AI پیلوټ برنامې د دوی د سوداګرۍ فعال برخو ته اړولو لپاره مبارزه کوي ، اعتبار د مرکز مرحله نیولې. یو نوی پیل هیله لري چې دا ستونزه د ریاضیاتو رسمي کولو وسیلو په رسم کولو سره حل کړي، د کمپیوټر ساینس یو له خورا معتبر سیسټمونو څخه یو له خورا ګډوډ سره یوځای کړي.
د چهارشنبه په ورځ، Pramaana Labs د اکسل، Boldcap، Nexus Venture Partners، Premji Invest، او Unbound د ګډون سره، د Khosla Ventures په مشرۍ د تخمونو تمویل لپاره $ 27 ملیون ډالر اعلان کړل.
Pramaana به ډیر حساس عمودی لکه قانون، د مخدره توکو کشف، او د مالیاتو چمتو کولو باندې تمرکز وکړي - چیرې چې غلطۍ کیدای شي ګران وي او اعتبار په پریمیم کې وي. په دې سیسټمونو کې د AI ځای په ځای کول به د فریبونو او غلطیو پروړاندې قوي محافظت ته اړتیا ولري چې اوس مهال یې لرو. مګر لکه څنګه چې د پرمانا شریک بنسټ ایښودونکی او سی ای او رنجن راجاګوپالان دا ګوري ، دوی هم په ځانګړي ډول د رسمي کولو لپاره مناسب دي.
"دا د ریاضی په څیر دی پدې معنی چې تاسو ډیری مقررات لرئ چې تاسو ورته اړتیا لرئ مراعات کړئ ،" راجاګوپالان ټیک کرنچ ته وویل ، د مالیې کوډ مقررات بیانوي. "یوځل چې تاسو د دې کوډ شوې نسخه ولرئ ، د هغې په سر کې استدلال ټاکونکی پیل کیږي."
د Pramaana سیسټم لاهم په دودیز LLM پرمخ ځي، دا د طبیعي ژبې پوښتنو ته د ځواب ویلو او پیچلو ستونزو سره د حل کولو توان ورکوي چې دودیز کمپیوټرونه نشي اداره کولی. مګر د دې LLM په سر کې یو ټاکونکی پرت شتون لري چې د LLM کار چیک چیک کوي.
د LLM انجن دا ترکیب د ثابت تصدیق سره یو مشهور ترتیب دی. د Pramaana ځانګړې طریقه د رسمي تصدیق وسیلو کارول دي - د خلاصې سرچینې LEAN پروګرام کولو ژبې انځور کول چې د ریاضيیک شواهدو تصدیق کولو لپاره کارول کیږي. د دې ډیری کار لپاره ریښتینی مثال شتون لري؛ راجاګوپالان د فرانسې د CATALA پروژې ته اشاره کوي، کوم چې د هیواد د مالیاتو او ګټو سیسټم ډیره برخه د اجرا وړ کوډ کې رسمي کوي.
د هرې کارونې قضیې لپاره، Pramaana به خپل د LEAN طرز رسمي تایید سیسټم رامینځته کړي، چې د ډومین متخصصینو لخوا نظارت کیږي. د مالیې قانون لپاره، شرکت د IRS پخواني کمیشنر ډیني ویرفیل سره کار کوي، پداسې حال کې چې د IIT ډیلي، IIT مدراس، او UC برکلي پروفیسوران د سایبر امنیت او مخدره توکو کشف سیسټم څارنه کوي.
راجاګوپالان وايي: "د نړۍ تر ټولو سختې ستونزې د حل وړ نه دي، دوی غیر رسمي دي." "هر ډومین چیرې چې غلط وي کولی شي یو څوک د دوی روغتیا، پیسې، یا ازادۍ لګښت وکړي قواعد لري."
اوس، دا قواعد یوازې کوډ کولو ته اړتیا لري.
