रॉबिनहुडचे मुख्य कार्यकारी अधिकारी हार्मोनिक एआय मॅथ स्टार्टअप, एक एआय चॅटबॉट अ‍ॅप लाँच करते

रॉबिनहुडचे मुख्य कार्यकारी अधिकारी व्लाड तेनेव्ह यांनी सह-स्थापना केलेल्या एआय स्टार्टअपने सोमवारी आयओएस आणि अँड्रॉइड चॅटबॉट अ‍ॅपची बीटा लाँच करण्याची घोषणा केली जिथे वापरकर्ते त्याच्या एआय मॉडेल, ist रिस्टॉटलमध्ये प्रवेश करू शकतात.

या प्रक्षेपणानंतर, कंपनीने अ‍ॅरिस्टॉटलमध्ये प्रवेश विस्तृत करण्याचे उद्दीष्ट ठेवले आहे, जे हार्मोनिकने गणिताच्या युक्तिवादाच्या प्रश्नांसाठी “भ्रम मुक्त” उत्तरे देण्याचे दावा केला आहे-आजच्या एआय मॉडेलच्या विश्वासार्हतेच्या समस्येमुळे एक ठळक दावा. हार्मोनिकमध्ये “गणिताचे अधीनता” किंवा एमएसआय तयार करण्यावर लक्ष केंद्रित केले आहे; स्टार्टअपला अखेरीस भौतिकशास्त्र, आकडेवारी आणि संगणक विज्ञानासह गणितावर अवलंबून असलेल्या सर्व क्षेत्रांसह वापरकर्त्यांना मदत करण्याची इच्छा आहे.

हार्मोनिकचे मुख्य कार्यकारी अधिकारी आणि सह-संस्थापक ट्यूडर अचिम यांनी रीडला दिलेल्या मुलाखतीत सांगितले की, “(अरिस्टॉटल) तर्किंग आणि औपचारिकपणे आउटपुटची पडताळणी करणारे लोकांसाठी उपलब्ध असलेले पहिले उत्पादन आहे. “अरिस्टॉटल समर्थन देणार्‍या डोमेनमध्ये, जे परिमाणात्मक तर्क डोमेन आहेत, आम्ही खरोखर हमी देतो की तेथे कोणतेही भ्रम नाही.”

अखेरीस, हार्मोनिक म्हणतात की एंटरप्राइजेस अ‍ॅरिस्टॉटलमध्ये प्रवेश करण्यासाठी एपीआय सोडण्याची देखील योजना आहे, तसेच ग्राहकांसाठी वेब अ‍ॅप.

हार्मोनिक म्हणतात की एरिस्टॉटलने औपचारिक चाचणीद्वारे 2025 आंतरराष्ट्रीय गणित ऑलिम्पियाड (आयएमओ) वर सुवर्ण पदकाची कामगिरी केली (म्हणजे समस्यांचे मशीन -वाचनीय स्वरूपात भाषांतर केले गेले). Google आणि ओपनईने एआय मॉडेल देखील विकसित केले ज्याने या वर्षाच्या आयएमओवर सुवर्ण पदकाची कामगिरी केली, परंतु नैसर्गिक भाषेत घेतलेल्या अनौपचारिक चाचण्यांद्वारे.

हार्मोनिक म्हणतात की हे यावेळी अ‍ॅरिस्टॉटलसाठी इतर बेंचमार्क सोडत नाही.

क्लेनर पर्किन्स यांच्या नेतृत्वात हार्मोनिकने मालिका बीच्या फेरीत $ 875 दशलक्ष डॉलर्सच्या मूल्यांकनावर हार्मोनिकने 100 दशलक्ष डॉलर्स जमा केल्यापासून काही आठवड्यांपासून अरिस्टॉटलची बीटा लाँच झाली. Him चिमचा असा दावा आहे की हार्मोनिक एमएसआय साध्य करण्याच्या मार्गावर “खूप वेगाने पुढे” आहे आणि गुंतवणूकदारांचा असा विश्वास होता की त्याच्या स्टार्टअपच्या महत्वाकांक्षाची व्याप्ती पाहता हे एक योग्य मूल्यांकन आहे.

अनेक आघाडीच्या टेक कंपन्या गणिताच्या समस्येचे निराकरण करण्यासाठी त्यांच्या एआय मॉडेल्सना प्रशिक्षण देण्यावर लक्ष केंद्रित करतात. एआय जे गणित करू शकते ते स्वतःच मौल्यवान आहे, परंतु गणित देखील एक विशिष्ट सत्यापित करण्यायोग्य डोमेन मानले जाते जे मुख्य तर्क कौशल्याची मागणी करते. या क्षमता विकसित करणार्‍या सिस्टम इतर डोमेनमध्ये देखील उपयुक्त ठरू शकतात.

Ach चिम म्हणतो की हार्मोनिक ओपन सोर्स प्रोग्रामिंग भाषेत लीनमध्ये ist रिस्टॉटलने प्रतिक्रिया निर्माण करून त्याचे अति-अचूक उपाय साध्य केले. अ‍ॅरिस्टॉटल वापरकर्त्यांना उत्तर देण्यापूर्वी, ते म्हणतात की मॉडेलला डबल-चेक होते की एआयचा समावेश नसलेल्या अल्गोरिदम प्रक्रियेद्वारे समाधान योग्य आहे. हार्मोनिकचे मुख्य कार्यकारी अधिकारी नमूद करतात की समान तंत्रज्ञानाचा उपयोग वैद्यकीय उपकरणे आणि विमानचालन यासारख्या उच्च-स्टेक्स फील्डमधील आउटपुट सत्यापित करण्यासाठी केला जातो.

अगदी अरुंद डोमेनमध्येही, एआय मॉडेलमधून भ्रम मुक्त कामगिरी साध्य करणे हे एक आश्चर्यकारकपणे कठीण काम आहे. अभ्यासानुसार असे आढळले आहे की आघाडीच्या एआय मॉडेल्स देखील बरेच भ्रमित करतात आणि समस्या अधिक चांगली होत असल्याचे दिसत नाही. ओपनईचे नवीनतम एआय तर्क मॉडेल त्याच्या जुन्या लोकांपेक्षा जास्त भ्रमित करतात.