人工智能實驗室 Harmonic 宣布完成 1 億美元 B 輪融資，凱鵬華盈 (Kleiner Perkins) 領投，Paradigm、Ribbit Capital、及紅杉資本 (Sequoia Capital)、Index Ventures 和 Charlie Cheever 等參投，投後估值達 9 億美元。 Harmonic 目前構建基於數學超級智能 (MSI) 的軟體驗證和代碼驗證功能，主要應用於區塊鏈、金融服務等行業，該公司在去年九月的 A 輪融資中募資 7500 萬美元。 [ChainCatcher]
