Gate News bot消息，人工智能实验室 Harmonic 近日宣布完成10亿美元B轮融资。此轮融资由凯鹏华盈领投，Paradigm、Ribbit Capital以及红杉资本、Index Ventures和Charlie Cheever等共同参投，融资后公司估值达9亿美元。 Harmonic主要专注于基于数学超级智能(MSI)的软件验证和代码验证功能开发，其应用领域涵盖区块链和金融服务等行业。值得一提的是，Harmonic在去年9月的A轮融资中已经募集了7500万美元资金。