PulseAugur
中
实时 20:45:57
English(EN) Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Pramaana Labs 获 2700 万美元融资用于 AI 形式验证

作者 PulseAugur 编辑部 · [2 个来源] ·

Pramaana Labs 已获得 2700 万美元种子轮融资，由 Khosla Ventures 领投，用于开发具有形式验证功能的 AI 系统。该公司旨在提高法律、药物发现和税务准备等高风险领域的可靠性，在这些领域中错误可能导致严重后果。Pramaana 的方法将传统的 LLM 与确定性验证层相结合，利用通常用于数学证明的 LEAN 编程语言的工具，以确保 AI 输出的准确性和可信度。 AI

影响 增强了关键领域的 AI 可靠性，有可能加速企业在敏感应用中采用 AI。

排序理由 初创公司融资公告，采用了新颖的技术方法来提高 AI 可靠性。

在 TechCrunch AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

Pramaana Labs 获 2700 万美元融资用于 AI 形式验证

报道来源 [2]

  1. TechCrunch AI TIER_1 English(EN) · Russell Brandom ·

    Pramaana Labs 获 Khosla Ventures 2700 万美元种子轮融资，将形式验证引入人工智能

    Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.

  2. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] ·

    Pramaana Labs 获 2700 万美元种子轮融资，将形式验证引入 AI 系统。该公司瞄准法律、药物发现等高风险行业

    Pramaana Labs has raised a 27M USD seed round to bring formal verification to AI systems. The startup targets high-stakes industries like law, drug discovery and tax preparation where reliability is critical. The funding came from Khosla Ventures. https:// techcrunch.com/2026/06/…

    链接 techcrunch.com/…/pramaana-labs-raises-27-…

相关实体

相关话题