تعمل شركة Harmonic، وهي شركة ناشئة تعمل بالذكاء الاصطناعي تابعة للرئيس التنفيذي لشركة Robinhood، على توسيع نطاق أرسطو ليشمل التحقق من تصميم البرمجيات والرقائق

قالت شركة Harmonic، وهي شركة ناشئة تعمل في مجال الذكاء الاصطناعي، والتي شارك في تأسيسها الرئيس التنفيذي لشركة Robinhood فلاد تينيف، يوم الثلاثاء إنها تعمل على توسيع نموذج أرسطو الخاص بها من البراهين الرياضية إلى التحقق من تصميم البرمجيات والرقائق، حسبما ذكرت رويترز. وتأتي هذه الخطوة في الوقت الذي يتطلب فيه الاستخدام المتزايد للذكاء الاصطناعي في الكشف عن عيوب البرامج تدقيقًا متزايدًا.

من البراهين الرياضية إلى التعليمات البرمجية

قال Harmonic إن أرسطو يمكنه الآن التحقق من البرامج المكتوبة بلغة C وتصميمات الرقائق المكتوبة بلغة Verilog. تصف الشركة هدفها بأنه الذكاء الرياضي الفائق: نظام ذكاء اصطناعي يركز على التفكير ويهدف إلى تقليل الهلوسة والأخطاء الواقعية.

وأشارت رويترز إلى أن الباحثين استخدموا مؤخرًا هذا النوع من التكنولوجيا للكشف عن الأخطاء الحرجة في PHP، مما أدى إلى اندفاع عالمي لتصحيحها. إن اكتشاف العيوب في مرحلة التصميم، من خلال الفحوصات الرياضية بدلاً من الاختبار وحده، هو السوق الذي تريد شركة Harmonic خدمته.

قضية الانصهار لمدة أربع ساعات

أشارت شركة هارمونيك إلى مختبر الاندماج الأمريكي DIII-D، الذي قالت إنه استخدم أرسطو لإعادة بناء جزء من برنامج التحكم في المفاعل خلال أربع ساعات، من خلال ورقة بحثية واحدة ومطالبة مكونة من 254 كلمة. يهدف هذا المثال إلى إظهار نموذج المنطق الذي لا يكتب التعليمات البرمجية فحسب، بل يتحقق منها مقابل المواصفات.

الخلفية وما يجب مشاهدته

جمعت شركة Harmonic 120 مليون دولار في نوفمبر الماضي بتقييم قدره 1.45 مليار دولار، بدعم من الذراع الاستثماري لشركة Nvidia، Sequoia وRibbit Capital. ولم يذكر التقرير التمويل الجديد أو العملاء الجدد المرتبطين بهذا التوسع. ما يهم بعد ذلك هو ما إذا كانت أدوات التحقق ستنتقل من العروض البحثية إلى أعمال التطوير اليومية لشركات الرقائق والبرمجيات، وما إذا كان العملاء سيدفعون مقابل هذا اليقين الإضافي.