جمعت Pramaana Labs جولة $27M من التمويل في مرحلة البذور للتحقق الرسمي من الذكاء الاصطناعي باستخدام LEAN Proofs

2026-06-18 08:21:25

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

تتعاون Pramaana مع المفوض السابق لمصلحة الضرائب الأمريكية Danny Werfel لتطبيقات الضرائب، ومع أساتذة من IIT Delhi وIIT Madras وUC Berkeley من أجل أنظمة التحقق في مجالات الأمن السيبراني وتطوير الأدوية.

عرض المصدر

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

أخبار ذات صلة

منذ 1 س

أكملت Manifold AI جولة تمويل بقيمة مليارات اليوان باستخدام نموذج WorldScape للروبوت، عبر توظيف 10% من معلمات المنافسين

منذ 8 س

تتولى Khosla Ventures قيادة جولة $27M التأسيسية لشركة Pramaana Labs الناشئة في مجال الذكاء الاصطناعي

منذ 8 س

رفعت Odyssey جولة $310M من السلسلة B بتقييم 1.45 مليار دولار في 17 يونيو، وانضمّت Amazon إلى الجولة

منذ 18 س

رفعت DeepSeek 51 مليار يوان في جولة تمويل من السلسلة A، تقودها Tencent؛ تبلغ التقييمات 400 مليار يوان

منذ 21 س

أكملت Flagright جولة تمويل من الفئة "أ" بقيمة 12.5 مليون دولار بقيادة Infinity Ventures

تحليل متعمق