Pramaana Labs获2700万美元种子轮，用形式化验证护航AI可靠性
专注法律、药物发现和税务等高敏感领域，Pramaana Labs获得Khosla Ventures领投的2700万美元种子轮融资，旨在通过形式化验证技术确保AI系统的数学级可靠性，降低关键应用中的灾难性错误风险。
Khosla Ventures 相关资讯
Khosla Ventures押注1000万美元：前Bench创始人携AI记账新项目回归
曾因创业公司Bench突然倒闭而备受关注的连续创业者Ian Crosby，如今获得了Khosla Ventures的1000万美元投资，正在打造名为Synthetic的全自主AI记账服务。这一举动既是对Crosby个人能力的信任投票，也折射
Khosla合伙人Keith Rabois投资Comp：AI赋能HR团队
巴西HR科技初创公司Comp获1725万美元A轮融资，由Khosla Ventures合伙人Keith Rabois领投。该公司利用AI技术强化HR团队效率，目前专注巴西市场运营。随着AI在人力资源领域的渗透，Comp旨在通过自动化招聘、员