Industry·
التحقق الرسمي المدعوم بالذكاء الاصطناعي يكتسب زخمًا مع جمع الشركات الناشئة لتمويلات كبيرة
تستخدم شركات ناشئة مثل &Truth وHarmonic الذكاء الاصطناعي التوليدي لأتمتة البراهين الرياضية على صحة الكود، مما يعد بتحقق أسرع وأقل تكلفة للبرمجيات الحرجة.
يحوّل الذكاء الاصطناعي التوليدي ممارسة التحقق الرسمي الشاقة إلى خدمة قابلة للتوسع. أظهر باحثون في ستانفورد أن أداة ذكاء اصطناعي يمكنها التحقق من جزء من كود تشفير سيجنال في ساعات وبضعة مئات من الدولارات، وهي مهمة كانت تتطلب أشهرًا من جهد الخبراء.
جمعت شركة &Truth الناشئة 70 مليون دولار وتهدف إلى التحقق من أي لغة برمجة، بينما تدعم منافستها Harmonic — الممولة بـ 295 مليون دولار والمرتبطة بـ Nvidia — بالفعل التحقق من لغتي C وVerilog لمصممي الرقائق. كما أثبتت Anthropic وTheorem قدرة الذكاء الاصطناعي على اكتشاف أخطاء في مشاريع مفتوحة المصدر لم تكشفها اختبارات مكثفة.
لماذا يهم هذا البنية التحتية للـ GPU / الذكاء الاصطناعي
- المسرعات المادية وبيئات تشغيل الذكاء الاصطناعي تحتاج إلى نوى مثبتة رياضيًا لتجنب تلف البيانات الصامت.
- التحقق الآلي يقلل دورة التحقق لبرامج تشغيل GPU الجديدة ومرات الترجمة.
- انخفاض تكلفة التحقق يتيح ضمانًا مستمرًا في خطوط CI/CD لأعباء الذكاء الاصطناعي.
- aigpu
- ai gpu
- ai gpu cloud
- aigpu dubai
- formal verification
- generative ai
- software safety
- startup funding
بقلم AiGpu Editorial · إعادة صياغة تحريرية استناداً إلى تقارير عامة (Wired AI)
→ كل المقالات