नवीनतम धन उगाही में रॉबिनहुड सीईओ के गणित-केंद्रित एआई स्टार्टअप हार्मोनिक का मूल्य $1.45 बिलियन है

रॉबिनहुड के सीईओ व्लाद टेनेव द्वारा सह-स्थापित एक कृत्रिम बुद्धिमत्ता स्टार्टअप हार्मोनिक ने नई फंडिंग में 120 मिलियन डॉलर जुटाए हैं, जिससे कंपनी का मूल्य 1.45 बिलियन डॉलर हो गया है, क्योंकि यह तर्क करने की क्षमता में सुधार करके एआई “मतिभ्रम” – या गलत या निरर्थक उत्तरों से निपटता है।

प्री-रेवेन्यू स्टार्टअप के लिए सीरीज़ सी राउंड का नेतृत्व रिबिट कैपिटल ने किया था, जिसमें मौजूदा निवेशकों सिकोइया और क्लेनर पर्किन्स की भागीदारी थी। लॉरेन पॉवेल जॉब्स की निवेश फर्म एमर्सन कलेक्टिव एक नए समर्थक के रूप में शामिल हुई।

यह सौदा 14 महीनों में कंपनी की तीसरी बड़ी धन उगाही है, जिससे इसकी कुल पूंजी 295 मिलियन डॉलर हो गई है, जो एआई को और अधिक सटीक और विश्वसनीय बनाने की कोशिश कर रहे स्टार्टअप्स में निवेशकों की मजबूत रुचि को उजागर करती है, यहां तक ​​​​कि उनके पास वाणिज्यिक उत्पाद होने से पहले भी।

हार्मोनिक विकसित कर रहा है जिसे वह “गणितीय सुपरइंटेलिजेंस” (एमएसआई) कहता है, एआई का एक रूप जो उन्नत तर्क पर केंद्रित है और यह दावा करता है कि यह मतिभ्रम और अन्य तथ्यात्मक त्रुटियों से मुक्त है जो कई जेनेरिक एआई मॉडल को प्रभावित करता है।

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

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

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

सीईओ ट्यूडर अचिम ने एक साक्षात्कार में कहा, “मतिभ्रम का उन्मूलन सीधे इस तथ्य से होता है कि हमें अपने सिस्टम को अंग्रेजी के बजाय तर्क को कोड के रूप में आउटपुट करने की आवश्यकता होती है।”

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

उन्होंने कहा, “मुझे लगता है कि सॉफ्टवेयर विकास के कुछ ऐसे क्षेत्र हैं जहां सुरक्षा और विश्वसनीयता सर्वोपरि है।” उन्होंने कहा कि ऑटोमोटिव और एयरोस्पेस जैसे सुरक्षा-महत्वपूर्ण क्षेत्रों से भी मांग है।