A Harmonic, uma iniciação de IA, co-fundada pelo CEO da Robinhood, Vlad Teev, anunciou o lançamento beta de um aplicativo iOS e Android-Chatbot na segunda-feira, onde os usuários têm acesso ao seu modelo de IA, Aristóteles.
Com este lançamento, a empresa deseja ampliar o acesso a Aristóteles, que oferecem reivindicações harmônicas “sem alucinação” para perguntas sobre o raciocínio matemático e as ousadas reivindicações, dados os problemas de confiabilidade dos modelos de IA atuais. A harmônica visa criar “super inteligência matemática” ou MSI; A startup deseja ajudar os usuários com todas as áreas que dependem de matemática, incluindo física, estatística e ciência da computação.
“(Aristóteles) é o primeiro produto disponível para pessoas que raciocinam e verificam formalmente a produção”, disse o CEO e co-fundador da harmônico Tudor Achim em uma entrevista ao TechCrunch. “Dentro dos domínios que Aristóteles suporta, que são domínios quantitativos de raciocínio, na verdade garantemos que não há alucinações”.
No final, a Harmonic diz que também planeja lançar uma API para dar às empresas acesso a Aristóteles, bem como a um aplicativo da Web para os consumidores.
O lançamento beta foi apenas algumas semanas desde que US $ 100 milhões em uma série B da série B coletou sob a liderança de Kleiner Perkins com uma classificação de US $ 875 milhões. Achim afirma que harmonicamente ‘continua muito rapidamente’ seu caminho para alcançar a MSI, e que os investidores acreditavam que isso era uma apreciação justa, dado o escopo da ambição de sua startup.
Achim diz que o harmônico alcançou suas soluções hiper-precisas ao produzir as reações de Aristóteles na linguagem de programação de código aberto. Antes de Aristóteles dar uma resposta aos usuários, ele diz que o modelo está verificando duas vezes se a solução está correta por meio de um processo algorítmico que não inclui a IA. O CEO da Harmonic Notes que tecnologia semelhante é usada para verificar os resultados em campos com alta implantação, como dispositivos médicos e aviação.
Mesmo em um domínio estreito, alcançar o desempenho livre de alucinação de um modelo de IA é uma tarefa incrivelmente difícil. Estudos mostraram que mesmo liderar a IA modela muita alucinação, e o problema não parece estar melhorando. Os modelos de raciocínio mais recentes da IA do Openai alucinam mais do que os mais antigos.
Evento do TechCrunch
São Francisco
|
27-29 de outubro de 2025
A harmônica diz que os Aristoteles alcançaram o desempenho da medalha de ouro na Olimpiade de Matemática Internacional de 2025 a um teste formal (o que significa que os problemas foram traduzidos em um formato legível por máquina.) Google e OpenAI também desenvolveram modelos de IA que atingiram o desempenho da medalha de ouro na IMO deste ano.
