Gate News bot消息，人工智能实验室 Harmonic 近日宣布完成10亿美元B轮融资。此轮融资由凯鹏华盈领投，Paradigm、Ribbit Capital以及红杉资本、Index Ventures和Charlie Cheever等共同参投，融资后公司估值达9亿美元。 A Harmonic está principalmente focada no desenvolvimento de funcionalidades de verificação de software e verificação de código baseadas em inteligência artificial matemática (MSI), com áreas de aplicação que abrangem setores como blockchain e serviços financeiros. Vale a pena mencionar que a Harmonic já arrecadou 75 milhões de dólares em uma rodada de financiamento Série A em setembro do ano passado.