ہارمونک، رابن ہڈ کے سی ای او کا اے آئی اسٹارٹ اپ، ارسطو کو سافٹ ویئر اور چپ ڈیزائن کی تصدیق میں توسیع کرتا ہے۔

Robinhood CEO Vlad Tenev کے تعاون سے قائم کردہ AI اسٹارٹ اپ ہارمونک نے منگل کو کہا کہ وہ اپنے ارسطو ماڈل کو ریاضی کے ثبوتوں سے سافٹ ویئر اور چپ ڈیزائن کی تصدیق میں توسیع کر رہا ہے۔ یہ اقدام اس وقت سامنے آیا ہے جب سافٹ ویئر کی خامیوں کا پتہ لگانے میں AI کے بڑھتے ہوئے استعمال سے جانچ پڑتال میں اضافہ ہوتا ہے۔

ریاضی کے ثبوت سے لے کر کوڈ تک

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

رائٹرز نے نوٹ کیا کہ محققین نے حال ہی میں پی ایچ پی میں اہم کیڑے کو بے نقاب کرنے کے لیے اس قسم کی ٹکنالوجی کا استعمال کیا ہے، جس سے انہیں پیچ کرنے کے لیے عالمی سطح پر رش ہوا ہے۔ ڈیزائن کے مرحلے پر نقائص کو پکڑنا، اکیلے جانچ کے بجائے ریاضیاتی جانچ کے ساتھ، وہ مارکیٹ ہے جو ہارمونک پیش کرنا چاہتا ہے۔

چار گھنٹے کا فیوژن کیس

ہارمونک نے امریکی فیوژن لیب DIII-D کی طرف اشارہ کیا، جس نے کہا کہ ارسطو نے ایک تحقیقی مقالے اور 254 الفاظ کے پرامپٹ سے چار گھنٹوں میں اپنے ری ایکٹر کنٹرول سافٹ ویئر کے کچھ حصے کو دوبارہ بنانے کے لیے استعمال کیا۔ مثال کا مقصد ایک استدلال ماڈل کو ظاہر کرنا ہے جو صرف کوڈ نہیں لکھتا ہے بلکہ اسے کسی تصریح کے خلاف چیک کرتا ہے۔

پس منظر اور کیا دیکھنا ہے۔

ہارمونک نے گزشتہ نومبر میں $1.45 بلین ویلیویشن پر $120 ملین اکٹھے کیے، جسے Nvidia کے وینچر آرم، Sequoia اور Ribbit Capital کی حمایت حاصل ہے۔ رپورٹ میں نئی ​​فنڈنگ ​​یا اس توسیع سے منسلک نئے صارفین کا ذکر نہیں کیا گیا۔ اس کے بعد اہم بات یہ ہے کہ آیا توثیقی ٹولز تحقیقی مظاہروں سے چپ اور سافٹ ویئر کمپنیوں کے روزمرہ کے ترقیاتی کاموں میں منتقل ہوتے ہیں، اور آیا صارفین اس اضافی یقین کے لیے ادائیگی کریں گے۔