A startup de IA Harmonic, cofundada pelo CEO da Robinhood, Vlad Tenev, levantou com sucesso US$ 120 milhões em uma rodada de financiamento liderada pela Ribbit Capital, com contribuições da Sequoia, Kleiner Perkins e Emerson Collective. Esse investimento recente eleva a avaliação da Harmonic para US$ 1,45 bilhão. A tecnologia inovadora da Harmonic, chamada 'Superinteligência Matemática (MSI)', foi projetada para superar problemas de alucinação em IA utilizando lógica formal em vez de previsão estatística. Seu modelo principal, Aristotle, apresentou resultados impressionantes na Olimpíada Internacional de Matemática, rivalizando com os principais laboratórios de pesquisa como Google e OpenAI. Aristotle utiliza a linguagem de programação Lean4 para produzir etapas de raciocínio verificáveis, tornando-o particularmente valioso para setores de alto risco, como aeroespacial e financeiro. Atualmente, o modelo está acessível a desenvolvedores e matemáticos por meio de uma API gratuita, com planos de comercialização em andamento.