新创公司Pramaana已获得Khosla Ventures的2700万美元融资，用于开发一个专注于可信度的AI系统。该公司的做法涉及一个基于Lean的验证层，该层根据编码的规则手册正式检查LLM的输出，旨在使AI适用于报税和合同审阅等敏感任务。然而，该系统的有效性取决于将法律和税务等复杂领域准确且完整地转化为正式代码的能力。 AI
影响 如果正式验证层足够强大，这种方法可以使AI能够处理法律和金融文件分析等高度敏感的任务。
排序理由 初创公司融资额超过1000万美元。[lever_c_降级为significant: ic=1 ai=0.7]
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
