金色财经报道，人工智能实验室Harmonic宣布完成1亿美元B轮融资，凯鹏华盈 (Kleiner Perkins) 领投，Paradigm、Ribbit Capital、及红杉资本 (Sequoia Capital)、Index Ventures和Charlie Cheever等参投，投后估值达9亿美元。Harmonic目前构建基于数学超级智能 (MSI)的软件验证和代码验证功能，主要应用于区块链、金融服务等行业，该公司在去年九月的A轮融资中募资7500万美元。