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