Artificial intelligence lab Harmonic has successfully raised $100 million in a Series B funding round, led by Kleiner Perkins. Notable participants in the round include Paradigm, Ribbit Capital, Sequoia Capital, Index Ventures, and Charlie Cheever. This latest investment values Harmonic at $900 million. Harmonic is focused on developing software verification and code verification capabilities using mathematical super intelligence (MSI), targeting applications in blockchain and financial services. The company previously raised $75 million in a Series A round last September.