A Harmonic, uma startup de IA co-fundada pelo CEO da Robinhood, Vlad Tenev, anunciou segunda-feira o lançamento beta de um aplicativo iOS e Android Chatbot, onde os usuários podem acessar seu modelo de IA, Aristóteles.
Com este lançamento, a empresa pretende ampliar o acesso a Aristóteles, que afirma oferecer respostas “sem alucinação” para perguntas que envolvem raciocínio matemático-uma reivindicação ousada, considerando os problemas de confiabilidade dos modelos de IA atuais. O harmônico está focado na criação de “Superintelligência Matemática” ou MSI; A startup eventualmente quer ajudar os usuários com todos os campos que dependem de matemática, incluindo física, estatística e ciência da computação.
“(Aristóteles) é o primeiro produto disponível para as pessoas que raciocina e verifica formalmente a saída”, 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”.
Eventualmente, a Harmonic diz que também planeja lançar uma API para permitir que as empresas acessassem a Aristóteles, bem como um aplicativo da web para os consumidores.
Harmonic diz que 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 (o que significa que os problemas foram traduzidos em um formato legível por máquina). O Google e o OpenAI também desenvolveram modelos de IA que atingiram o desempenho da medalha de ouro na IMO deste ano, mas através de testes informais realizados em linguagem natural.
A Harmonic diz que não está lançando outros benchmarks para Aristóteles neste momento.
O lançamento beta de Aristóteles ocorre apenas algumas semanas desde que a Harmonic levantou US $ 100 milhões em uma rodada da Série B, liderada por Kleiner Perkins com uma avaliação de US $ 875 milhões. Achim afirma que o harmônico está “avançando muito rapidamente” seu caminho para alcançar a MSI e que os investidores acreditavam que era uma avaliação justa, dado o escopo da ambição de sua startup.
Evento do TechCrunch
São Francisco
|
27-29 de outubro de 2025
Várias empresas líderes de tecnologia estão focadas em treinar seus modelos de IA para resolver problemas de matemática. A IA que pode fazer matemática é valiosa por si só, mas a matemática também é considerada um domínio exclusivamente verificável que exige habilidades de raciocínio centrais. Os sistemas que desenvolvem esses recursos também podem ser úteis em outros domínios.
Achim diz que o harmônico atinge suas soluções hiper-precisas, fazendo com que Aristóteles produza respostas na linguagem de programação de código aberto Lean. Antes de Aristóteles dar uma resposta aos usuários, ele diz que o modelo verifica se a solução está correta através de um processo algorítmico que não envolve IA. O CEO da Harmonic observa que a tecnologia semelhante é usada para verificar os resultados em campos de alto risco, 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 descobriram que até os modelos de IA liderarem muito alucinam muito, e o problema não parece estar melhorando. Os mais recentes modelos de raciocínio da IA do Openai alucinam mais do que os mais antigos.
