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