3 وسائل إعلام·3 تقارير·على مدى 23h
شركة Pramaana Labs تجمع 27 مليون دولار في جولة تمويل أولية بقيادة Khosla Ventures لتعزيز التحقق الرسمي في الذكاء الاصطناعي
أعلنت شركة Pramaana Labs عن جولة تمويل أولية بقيمة 27 مليون دولار بقيادة Khosla Ventures لتطوير طبقة تحقق حتمية لنماذج اللغات الكبيرة، حيث تستخدم الشركة لغة البرمجة LEAN لتطبيق براهين رياضية رسمية على مخرجات الذكاء الاصطناعي بهدف استخدامها في مجالات القانون والضرائب واكتشاف الأدوية، وسيُخصص هذا التمويل لدعم بناء البنية التحتية لهذا التحقق.
كُتب هذا الملخص من كل التقارير أدناه، لا من تقرير واحد.
ترجمة آلية. التقارير الأصلية بلغتها الأصلية.
كيف جرى تناوله
- TechCrunch·Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
- TechMeme·Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures (Russell Brandom/TechCrunch)
- The Next Web·Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery