Harmonic تتوسع في التحقق من البرمجيات والرقائق
تعمل Harmonic، وهي شركة ناشئة في مجال الذكاء الاصطناعي شارك في تأسيسها فلاد تينيف الرئيس التنفيذي لـ Robinhood، على توسيع نموذجها أرسطو ليتجاوز البراهين الرياضية نحو التحقق من البرمجيات وتصميم الرقائق. ويهدف النظام الذي يركز على الاستدلال إلى تقليل الأخطاء الواقعية أثناء معالجة المهام الهندسية المعقدة.
Xurve View
رؤى:
Xurve View
وسعت Harmonic، وهي شركة ناشئة في الذكاء الاصطناعي شارك في تأسيسها فلاد تينيف الرئيس التنفيذي لـ ROBINHOOD MARKETS INC - A، نموذجها أرسطو ليشمل التحقق من البرمجيات والرقائق صباح الثلاثاء. وتتجاوز منصة الذكاء الاصطناعي التي تركز على الاستدلال البراهين الرياضية لاستهداف الثغرات الحرجة عبر البنية التحتية الرقمية. ويأتي هذا التوسع في الوقت الذي يخضع فيه الاكتشاف الآلي للأخطاء البرمجية لتدقيق مكثف من فرق الهندسة العالمية.
