हार्मोनिक, रॉबिनहुड सीईओ का एआई स्टार्टअप, अरस्तू को सॉफ्टवेयर और चिप-डिज़ाइन सत्यापन में विस्तारित करता है

रॉयटर्स की रिपोर्ट के अनुसार, रॉबिनहुड के सीईओ व्लाद टेनेव द्वारा सह-स्थापित एआई स्टार्टअप हार्मोनिक ने मंगलवार को कहा कि वह अपने अरस्तू मॉडल को गणितीय प्रमाणों से सॉफ्टवेयर और चिप-डिज़ाइन सत्यापन में विस्तारित कर रहा है। यह कदम तब उठाया गया है जब सॉफ्टवेयर खामियों का पता लगाने में एआई के बढ़ते उपयोग की जांच बढ़ रही है।

गणित के प्रमाणों से लेकर कोड तक

हार्मोनिक ने कहा कि अरस्तू अब सी में लिखे सॉफ्टवेयर और वेरिलॉग में लिखे चिप डिजाइन को सत्यापित कर सकता है। कंपनी अपने लक्ष्य को गणितीय अधीक्षण के रूप में वर्णित करती है: एक तर्क-केंद्रित एआई प्रणाली जिसका उद्देश्य मतिभ्रम और तथ्यात्मक त्रुटियों को कम करना है।

रॉयटर्स ने नोट किया कि शोधकर्ताओं ने हाल ही में PHP में महत्वपूर्ण बग को उजागर करने के लिए इस तरह की तकनीक का उपयोग किया है, जिससे उन्हें ठीक करने के लिए वैश्विक भीड़ उमड़ पड़ी है। डिज़ाइन चरण में दोषों को पकड़ना, अकेले परीक्षण करने के बजाय गणितीय जांच के साथ, वह बाज़ार है जिसे हार्मोनिक सेवा देना चाहता है।

चार घंटे का फ़्यूज़न केस

हार्मोनिक ने यूएस फ़्यूज़न लैब DIII-D की ओर इशारा किया, जिसके बारे में उसने कहा कि उसने एक शोध पत्र और 254-शब्द प्रॉम्प्ट से चार घंटे में अपने रिएक्टर-नियंत्रण सॉफ़्टवेयर के हिस्से को पुनर्निर्माण करने के लिए अरस्तू का उपयोग किया। उदाहरण का उद्देश्य एक तर्क मॉडल दिखाना है जो न केवल कोड लिखता है बल्कि इसे एक विनिर्देश के विरुद्ध जांचता है।

पृष्ठभूमि और क्या देखना है

एनवीडिया की उद्यम शाखा, सिकोइया और रिबिट कैपिटल द्वारा समर्थित, हार्मोनिक ने पिछले नवंबर में 1.45 बिलियन डॉलर के मूल्यांकन पर 120 मिलियन डॉलर जुटाए। रिपोर्ट में इस विस्तार से जुड़े नए फंडिंग या नए ग्राहकों का उल्लेख नहीं किया गया है। आगे जो मायने रखता है वह यह है कि क्या सत्यापन उपकरण अनुसंधान प्रदर्शनों से चिप और सॉफ्टवेयर कंपनियों के दैनिक विकास कार्यों में स्थानांतरित होते हैं, और क्या ग्राहक उस अतिरिक्त निश्चितता के लिए भुगतान करेंगे।