人工智能實驗室 Harmonic 完成 1 億美元 B 輪融資，紅杉資本等參投

ChainCatcher 消息，人工智慧實驗室 Harmonic 宣布完成 1 億美元 B 輪融資，凱鵬華盈 (Kleiner Perkins) 領投，Paradigm、Ribbit Capital、及紅杉資本 (Sequoia Capital)、Index Ventures 和 Charlie Cheever 等參投，投後估值達 9 億美元。

Harmonic 目前構建基於數學超級智能 (MSI) 的軟體驗證和程式碼驗證功能，主要應用於區塊鏈、金融服務等行業，該公司在去年九月的 A 輪融資中募資 7500 萬美元。