Notícias da Deep Tide TechFlow, em 26 de novembro, a startup de IA Harmonic, co-fundada pelo CEO da Robinhood, Vlad Tenev, completou uma rodada de financiamento de 120 milhões de dólares, com uma avaliação de 1,45 bilhões de dólares. A rodada foi liderada pela Ribbit Capital, com a participação da Sequoia, Kleiner Perkins e do novo investidor Emerson Collective.
A tecnologia central da Harmonic “Matemática Superinteligente ( MSI )” é baseada em lógica formal em vez de previsões estatísticas, com o objetivo de resolver o problema da ilusão da IA. Seu modelo principal, Aristotle, teve um desempenho excepcional na Olimpíada Internacional de Matemática, alcançando um nível comparável aos principais laboratórios de pesquisa da Google e OpenAI.
Aristóteles gera passos de raciocínio verificáveis através da linguagem de programação Lean4, garantindo que as conclusões se baseiem em lógica rigorosa. Esta tecnologia é especialmente adequada para indústrias de alto risco, como a aeroespacial e a financeira. Atualmente, Aristóteles está disponível para desenvolvedores e matemáticos através de uma API gratuita, com um plano de comercialização a ser lançado posteriormente.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
A startup de IA Harmonic arrecadou 120 milhões de dólares em financiamento, alcançando uma avaliação de 1,45 bilhões de dólares.
Notícias da Deep Tide TechFlow, em 26 de novembro, a startup de IA Harmonic, co-fundada pelo CEO da Robinhood, Vlad Tenev, completou uma rodada de financiamento de 120 milhões de dólares, com uma avaliação de 1,45 bilhões de dólares. A rodada foi liderada pela Ribbit Capital, com a participação da Sequoia, Kleiner Perkins e do novo investidor Emerson Collective.
A tecnologia central da Harmonic “Matemática Superinteligente ( MSI )” é baseada em lógica formal em vez de previsões estatísticas, com o objetivo de resolver o problema da ilusão da IA. Seu modelo principal, Aristotle, teve um desempenho excepcional na Olimpíada Internacional de Matemática, alcançando um nível comparável aos principais laboratórios de pesquisa da Google e OpenAI.
Aristóteles gera passos de raciocínio verificáveis através da linguagem de programação Lean4, garantindo que as conclusões se baseiem em lógica rigorosa. Esta tecnologia é especialmente adequada para indústrias de alto risco, como a aeroespacial e a financeira. Atualmente, Aristóteles está disponível para desenvolvedores e matemáticos através de uma API gratuita, com um plano de comercialização a ser lançado posteriormente.