人工知能研究所Harmonicが1億ドル規模のシリーズB資金調達を完了したと発表しました。KPCB(Kleiner Perkins)が主導し、Paradigm、Ribbit Capital、セコイア・キャピタル(Sequoia Capital)、Index Ventures、Charlie Cheeverなどが参加し、投資後の評価額は9億ドルに達しました。Harmonicは現在、数学的超知能(MSI)に基づくソフトウェア検証およびコード検証機能を構築しており、主にブロックチェーン、金融サービスなどの業界に適用されています。同社は昨年9月のシリーズA資金調達で7500万ドルを調達しました。[ChainCatcher]