شركة التحقق الرسمي بالذكاء الاصطناعي Pramaana Labs تحصل على 27 مليون دولار في جولة تمويل أولى، وتقدم إثباتات رياضية من نوع LEAN لحل مشكلة الوهم

وفقًا لمراقبة Beating، التي تركز على التحقق الرياضي الرسمي، أعلنت شركة Pramaana Labs الناشئة التي تهدف إلى إدخال التحقق الرياضي الرسمي في الذكاء الاصطناعي عن إتمام جولة تمويل أولية بقيمة 27 مليون دولار. قادت الجولة شركة Khosla Ventures، وشاركت فيها شركات Accel و BoldCap و Nexus Venture Partners و Premji Invest و Unbound. ستُستخدم الأموال لبناء طبقة تحقق حاسمة للصناعات الحساسة للغاية والتي لا تتسامح مع الأخطاء، مثل القانون، وتطوير الأدوية، والإبلاغ الضريبي.

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

لإنشاء أنظمة تحقق رسمية على نمط LEAN موجهة لمختلف الصناعات الرأسية، دعت Pramaana العديد من الخبراء في المجال للمراجعة والتأييد. في مجال الضرائب، تتعاون الشركة مع المدير السابق لمصلحة الضرائب الأمريكية (IRS) داني ويرفل؛ وفي مجالات الأمن السيبراني وتطوير الأدوية، يقود فريق من الأساتذة من معهد الهند للتكنولوجيا (IIT) في دلهي ومدراس، بالإضافة إلى جامعة كاليفورنيا في بيركلي.