برامة نا لابز تجمع 27 مليون دولار في جولة تمويل أولية من كوسلا فينتشرز لتقديم التحقق الرسمي للذكاء الاصطناعي
بينما تكافح الشركات لتحويل برامج الذكاء الاصطناعي التجريبية إلى أجزاء وظيفية من أعمالها، أصبحت الموثوقية في المركز الأول. تأمل شركة ناشئة جديدة في حل هذه المشكلة من خلال الاستفادة من أدوات التشكيل الرياضي، مما يجمع بين أحد أكثر أنظمة علوم الكمبيوتر موثوقية مع واحد من أكثرها فوضوية.
أعلنت Pramaana Labs يوم الأربعاء عن جمع 27 مليون دولار في التمويل الأولي بقيادة Khosla Ventures، مع مشاركة من Accel وBoldcap وNexus Venture Partners وPremji Invest وUnbound.
ستركز Pramaana على مجالات حساسة للغاية مثل القانون واكتشاف الأدوية وإعداد الضرائب — حيث يمكن أن تكون الأخطاء مكلفة وتكون الموثوقية ذات قيمة عالية. سيستلزم نشر الذكاء الاصطناعي في تلك الأنظمة حماية أقوى ضد الهلاوس والأخطاء أكثر مما هو متوفر لدينا حاليًا. ولكن كما يرى المؤسس المشارك والرئيس التنفيذي لشركة Pramaana، رانجان راجاجوبالان، فإن تلك الأنظمة مناسبة بشكل فريد للتشكيل.
اقرأ أيضاً
قال راجاجوبالان لتقنية Crunch: “إنه مثل الرياضيات من حيث أنه لديك الكثير من القواعد التي تحتاج إلى الالتزام بها.” واصفاً قواعد قانون الضرائب. “بمجرد أن يكون لديك نسخة موثقة منه، تبدأ عملية التفكير فوقها في أن تصبح حتمية.”
لا يزال نظام Pramaana يعمل على نموذج LLM التقليدي، مما يمنحه المرونة للإجابة على الأسئلة باللغة الطبيعية ومعالجة المشكلات المعقدة التي لا تستطيع أجهزة الكمبيوتر التقليدية التعامل معها. ولكن هناك طبقة حتمية فوق هذا LLM تضمن أن عمل LLM سليم.
هذا المزيج من محرك LLM مع التحقق الحتمي هو إعداد شائع؛ النهج الفريد لشركة Pramaana هو استخدام أدوات التحقق الرسمي — مستفيدين من لغة البرمجة مفتوحة المصدر LEAN المستخدمة للتحقق من البراهين الرياضية. هناك سابقة حقيقية لجزء كبير من هذا العمل؛ يشير راجاجوبالان إلى مشروع CATALA في فرنسا، الذي يقوم بتشكيل جزء كبير من نظام الضرائب والفوائد في البلاد إلى رمز يمكن تنفيذه.
لكل حالة استخدام، ستبني Pramaana نظامها الخاص للتحقق الرسمي على طراز LEAN، تحت إشراف خبراء من المجال. بالنسبة لقانون الضرائب، تعمل الشركة مع المفوض السابق لمصلحة الضرائب الأمريكية داني ويرفل، بينما يشرف أساتذة من IIT دلهي وIIT مدراس وUC بيركلي على نظام الأمن السيبراني واكتشاف الأدوية.
يقول راجاجوبالان: “أصعب مشاكل العالم ليست غير قابلة للحل. إنها غير مُشكّلة.” “كل مجال حيث يمكن أن تكلف الخطأ شخصًا صحته أو ماله أو حريته له قواعد.”
الآن، تحتاج تلك القواعد فقط إلى أن يتم توثيقها.
عندما تشتري من خلال الروابط في مقالاتنا، قد نكسب عمولة صغيرة. هذا لا يؤثر على استقلالنا التحريري.