أخبار Deep Tide TechFlow، في 26 نوفمبر، أكملت شركة Harmonic الناشئة في الذكاء الاصطناعي التي شارك في تأسيسها الرئيس التنفيذي لشركة Robinhood فلاد تينيف تمويلًا بقيمة 120 مليون دولار، مع تقييم بلغ 1.45 مليار دولار. قاد هذا التمويل Ribbit Capital، بمشاركة Sequoia وKleiner Perkins والمستثمر الجديد Emerson Collective.
تكنولوجيا Harmonic الأساسية “الذكاء الرياضي الفائق (MSI)” تعتمد على المنطق الصوري بدلاً من التنبؤات الإحصائية، وتهدف إلى حل مشكلة الوهم في الذكاء الاصطناعي. نموذجها الرائد Aristotle قدم أداءً ممتازاً في مسابقة الأولمبياد الدولي للرياضيات، حيث وصل إلى مستوى يعادل مختبرات الأبحاث الرائدة في Google وOpenAI.
يولد أرسطو خطوات استدلال قابلة للتحقق باستخدام لغة البرمجة Lean4، مما يضمن أن الاستنتاجات مبنية على منطق صارم. هذه التقنية مناسبة بشكل خاص للصناعات عالية المخاطر مثل الطيران والمال. حالياً، تم فتح أرسطو للمطورين وعلماء الرياضيات من خلال واجهة برمجة تطبيقات مجانية، وستطرح خطة تجارية في وقت لاحق.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
حصلت شركة الذكاء الاصطناعي Harmonic على تمويل بقيمة 120 مليون دولار، مما رفع تقييمها إلى 1.45 مليار دولار.
أخبار Deep Tide TechFlow، في 26 نوفمبر، أكملت شركة Harmonic الناشئة في الذكاء الاصطناعي التي شارك في تأسيسها الرئيس التنفيذي لشركة Robinhood فلاد تينيف تمويلًا بقيمة 120 مليون دولار، مع تقييم بلغ 1.45 مليار دولار. قاد هذا التمويل Ribbit Capital، بمشاركة Sequoia وKleiner Perkins والمستثمر الجديد Emerson Collective.
تكنولوجيا Harmonic الأساسية “الذكاء الرياضي الفائق (MSI)” تعتمد على المنطق الصوري بدلاً من التنبؤات الإحصائية، وتهدف إلى حل مشكلة الوهم في الذكاء الاصطناعي. نموذجها الرائد Aristotle قدم أداءً ممتازاً في مسابقة الأولمبياد الدولي للرياضيات، حيث وصل إلى مستوى يعادل مختبرات الأبحاث الرائدة في Google وOpenAI.
يولد أرسطو خطوات استدلال قابلة للتحقق باستخدام لغة البرمجة Lean4، مما يضمن أن الاستنتاجات مبنية على منطق صارم. هذه التقنية مناسبة بشكل خاص للصناعات عالية المخاطر مثل الطيران والمال. حالياً، تم فتح أرسطو للمطورين وعلماء الرياضيات من خلال واجهة برمجة تطبيقات مجانية، وستطرح خطة تجارية في وقت لاحق.