3 समाचार संस्थान·3 रिपोर्टें·अवधि 23h
Pramaana Labs ने AI में फॉर्मल वेरिफिकेशन लाने के लिए Khosla Ventures से $27 मिलियन की सीड फंडिंग जुटाई
Pramaana Labs ने लार्ज लैंग्वेज मॉडल के लिए एक डिटरमिनिस्टिक वेरिफिकेशन लेयर विकसित करने हेतु Khosla Ventures के नेतृत्व में $27 मिलियन की सीड फंडिंग की घोषणा की है। कंपनी AI आउटपुट पर औपचारिक, गणितीय प्रमाण लागू करने के लिए 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