O Robinhood Boss está fundando a IA Start-up: Avaliação de IA harmônica de US $ 875 milhões!

O Robinhood Boss está fundando a IA Start-up: Avaliação de IA harmônica de US $ 875 milhões!

Palo Alto, Kalifornien, USA - No emocionante mundo da tecnologia, uma nova empresa se estabeleceu que tenta superar as ambições de Elon Musks e as visões de AI de Sam Altman. A IA harmônica, uma start-up, fundada pela Vlad Tenev, CEO da Robinhood Markets, acaba de receber US $ 100 milhões em uma rodada de financiamento da Série B. Isso oferece uma classificação impressionante de US $ 875 milhões, a poucos passos do símbolo de status para unir, a empresa de bilhões de dólares. Como relatórios [Post da manhã do sul da China] (https://amp.scmp.com/tech/tech-trends/article/331779/robinhood-ai-ai-ai-maths-start-us875 milhões-mill-shy-shy-unicorn-status), a empresa possui raízes em palo alto, Califórnia, 2023, a serrada da Califórnia 2022.

O objetivo da IA harmônica nada mais é do que o desenvolvimento de uma IA que pode resolver problemas matemáticos complexos com um nível excelente - uma superinteligência matemática. Segundo a mensagem, a empresa coletou pontos de investidores inteligentes, incluindo pequenos Perkins, Sequoia Capital, Index Ventures e Paradigm. Esses investidores parecem acreditar na visão do harmônico, porque oferecem apoio financeiro para o desenvolvimento do Aistóteles "Aristóteles", que em breve será usado pelos pesquisadores e pelo público.

Por que matemática?

As ambições de harmônicas não são exatamente pequenas, porque os fundadores dependem da idéia de que a aceleração de soluções matemáticas pode permitir um progresso significativo em áreas como física teórica e engenharia. Como descrito [siliconangle] (https://siliconangle.com/2025/10/Harmonic-Raises-100m-nearly-900m-valuation escala-ai-formal-mathematical-reaning/), o Ki-Modell Aristótele tem uma taxa de sucesso impressionante de benchmarks que avaliam os modelos AI em um matemático formal em um matemático formal em um matemático. Ele usa o Lean 4 Proof Assistant para traduzir problemas matemáticos naturais em evidências verificáveis. O sistema pode se melhorar através de um "loop de auto-jogo", o que significa que é transferido de tarefas simples para teoremas complexos e pode fazer mais do que parece inicialmente.

Nesta corrida pela inteligência da IA, no entanto, não há apenas IA harmônica. Outro homônimo nesta arena é a Superintelligência Safe, uma nova empresa fundada por Ilya Sutskever, ex -chefe do diretor de pesquisa do Openai. De acordo com o Tagesschau, o objetivo desse start-up é sobre "supereintelência segura". Sutskever quer encapsular da raça comercial opressiva e trabalhar em direção a seus próprios avanços revolucionários sem os meios de pressão do desenvolvimento de produtos comerciais. Sua visão é uma reminiscência dos objetivos originais do OpenAI, que se concentraram não tanto no lucro, mas no progresso utilizável no desenvolvimento da IA.

Olhe para o futuro

A discussão sobre os perigos dos poderosos sistemas de IA é tão antiga quanto as próprias tecnologias. Enquanto a IA harmônica visa a solução de problemas matemáticos não resolvidos, espera -se que a Superintelligência Segura deve, por sua vez, preocupar os aspectos éticos da superinteligência de IA. Os desafios são complexos e exigem conhecimento técnico e consideração cuidadosa dos riscos, como enfatizam o Sutskever e seus colegas ativistas.

O desenvolvimento tecnológico permanece emocionante, e as perguntas sobre a segurança e o potencial desses sistemas estão longe de ser respondidas. Espera -se apenas que o progresso da IA se beneficie tanto da ciência quanto da sociedade e direcionará a corrida pela superinteligência em uma direção positiva. Vamos ficar de olho nos desenvolvimentos de IA harmônica e superinteligência segura!