هل تستطيع مختبرات برامانا تحسين موثوقية الذكاء الاصطناعي بتمويل قدره 27 مليون دولار؟
مع مواجهة الشركات لتحديات دمج برامج الذكاء الاصطناعي التجريبية في عملياتها، أصبح ضمان الموثوقية أمرًا بالغ الأهمية. تسعى شركة ناشئة جديدة، برمانا لابز، لمعالجة هذه المشكلة من خلال الاستفادة من الصياغة الرياضية، ودمج موثوقية أنظمة علوم الحاسوب الراسخة مع عدم التوقع المرتبط بالذكاء الاصطناعي.
تمكنت برمانا لابز من تأمين تمويل أولي بقيمة 27 مليون دولار، بقيادة شركة Khosla Ventures وبدعم من مستثمرين مثل Accel وBoldCap وNexus Venture Partners وPremji Invest وUnbound. تستهدف الشركة القطاعات التي تكون فيها الدقة حاسمة، مثل القانون واكتشاف الأدوية وإعداد الضرائب، حيث يمكن أن تكون الأخطاء مكلفة.
تعتمد استراتيجية الشركة على استخدام نموذج لغة كبير تقليدي (LLM) معزز بطبقة تحقق حتمية، مما يضمن دقة مخرجات النموذج. تتميز برمانا لابز باستخدامها لأدوات التحقق الرسمي، المستوحاة من لغة البرمجة مفتوحة المصدر LEAN، المستخدمة في التحقق من صحة البراهين الرياضية.
بالنسبة لكل تطبيق محدد، ستقوم برمانا لابز بتطوير نظام تحقق رسمي مخصص، بتوجيه من خبراء في المجال. فعلى سبيل المثال، في مجال قانون الضرائب، يتعاونون مع المفوض السابق لمصلحة الضرائب الأمريكية داني ورفل، بينما يساهم خبراء أكاديميون من IIT Delhi وIIT Madras وUC Berkeley في مبادرات الأمن السيبراني واكتشاف الأدوية.
ووفقًا لما ذكره الشريك المؤسس والرئيس التنفيذي رانجان راجاغوبالان، فإن الحل للمشكلات المعقدة يكمن في صياغتها بشكل رسمي. ويؤكد أن المجالات التي يمكن أن تؤثر فيها الأخطاء على الصحة أو المال أو الحرية تحكمها قواعد يجب ترميزها في أنظمة قابلة للتنفيذ.
