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