Foresight News 消息，人工智能实验室 Harmonic 完成 1 亿美元 B 轮融资，Kleiner Perkins 领投，Paradigm、Ribbit Capital、及红杉资本、Index Ventures 和 Charlie Cheever 等参投。

Harmonic 目前构建基于数学超级智能（MSI）的软件验证和代码验证功能，主要应用于区块链、金融服务等行业。