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