AI形式化验证公司Pramaana Labs获2700万美元种子轮融资，引入LEAN数学证明解决幻觉

#Pramaana Labs #Khosla Ventures #美国

AI法律初创公司Norm完成1.2亿美元融资，Khosla Ventures领投

#Norm #Khosla Ventures #AI

AI气象科技公司WindBorne Systems完成3700万美元B轮融资

#WindBorne Systems #Khosla Ventures #Galvanize