A Harmonic, uma startup de IA co-fundada pelo CEO da Robinhood, Vlad Tenev, lançou uma versão beta do seu aplicativo AI Chatbot para iOS e Android, fornecendo aos usuários acesso ao seu modelo de IA, Aristóteles. A empresa pretende ampliar o acesso a Aristóteles, que afirma que oferece respostas “sem alucinação” para perguntas de raciocínio matemático. Esta é uma reivindicação significativa, dados os problemas de confiabilidade em andamento com os modelos atuais de IA.
A missão central da Harmonic é criar “Superintelligência Matemática” (MSI). A startup planeja expandir as capacidades da Aristóteles para ajudar os usuários com vários campos que dependem de matemática, incluindo física, estatística e ciência da computação. CEO e co-fundador harmônicos Tudor Achim disse TechCrunch O Aristóteles é “o primeiro produto disponível para pessoas que raciocina e verifica formalmente a saída”, acrescentando: “Dentro dos domínios que Aristóteles suporta, que são domínios quantitativos de raciocínio, na verdade garantimos que não há alucinações”.
A empresa também pretende lançar uma API para as empresas acessarem Aristóteles e um aplicativo da Web para consumidores em geral no futuro. A Harmonic anunciou que a Aristóteles alcançou o desempenho da medalha de ouro na Olimpíada Internacional de Matemática de 2025 (IMO) através de um teste formal, onde os problemas foram traduzidos em um formato legível por máquina. Essa conquista coloca Aristóteles ao lado dos modelos de IA desenvolvidos pelo Google e Openai, que também atingiram o desempenho da medalha de ouro na IMO deste ano por meio de testes informais em linguagem natural. Apesar disso, a Harmonic não lançou outros benchmarks para Aristóteles neste momento.
Este lançamento beta segue de perto os saltos da bem -sucedida rodada de financiamento da série B da Harmonic, que levantou US $ 100 milhões. A rodada foi liderada por Kleiner Perkins, avaliando a empresa em US $ 875 milhões. Achim indicou que o harmônico está “avançando muito rapidamente” seu caminho para alcançar a MSI, e os investidores acreditavam que a avaliação era justa, dado o escopo da ambição da startup.
Várias empresas de tecnologia líder estão focadas ativamente no treinamento de modelos de IA para resolver problemas matemáticos. A capacidade da IA de realizar matemática é valiosa em si, e a matemática também é considerada um domínio exclusivamente verificável que exige habilidades de raciocínio centrais. Os sistemas capazes de desenvolver essas habilidades também podem ser úteis em outros domínios. Achim explicou que o harmônico atinge sua alta precisão ao fazer Aristóteles produzir respostas em Lean, uma linguagem de programação de código aberto. Antes de fornecer uma resposta aos usuários, o modelo verifica algoritmicamente a solução para a correção, um processo que não envolve IA. Achim observou que a tecnologia de verificação semelhante é usada em campos de alto risco, como dispositivos médicos e aviação.
Conseguir desempenho sem alucinação de um modelo de IA, mesmo dentro de um domínio estreito, é uma tarefa incrivelmente difícil. Estudos mostraram que mesmo liderando os modelos de IA frequentemente alucinando, e esse problema não mostrou sinais de melhoria significativa, com alguns dos mais recentes modelos de raciocínio do OpenAI mesmo exibindo mais alucinações do que seus antecessores.
Source: Esta startup afirma que resolveu o problema de alucinação da IA
