A Harmonic, uma startup de IA cofundada pelo CEO da Robinhood, Vlad Tenev, lançou a versão beta de seu aplicativo de chatbot para iOS e Android, apresentando o Aristotle, um modelo de IA desenvolvido especificamente para raciocínio matemático sem alucinações.
A empresa, que recentemente arrecadou US$ 100 milhões em uma rodada Série B, atingindo uma avaliação de US$ 875 milhões, diferencia-se dos modelos de IA convencionais ao focar em superinteligência matemática (MSI). Ao contrário dos grandes modelos de linguagem tradicionais, que têm dificuldades com cálculos complexos, o Aristotle foi construído do zero para garantir precisão em domínios quantitativos.
"O Aristotle é o primeiro produto disponível para o público que realiza raciocínio e verifica formalmente as respostas", afirmou Tudor Achim, CEO e cofundador da Harmonic. "Dentro dos domínios que o Aristotle suporta, que são domínios de raciocínio quantitativo, garantimos que não há alucinações."
O sistema alcança essa precisão notável por meio de um processo em duas etapas. Primeiro, o Aristotle traduz problemas matemáticos em linguagem natural para a linguagem de programação open source Lean 4, um assistente de provas que permite verificar definições e teoremas matemáticos quanto à sua correção. Em seguida, antes de fornecer as respostas aos usuários, o modelo revisa as soluções por meio de um processo de verificação algorítmica que não envolve IA — semelhante a métodos utilizados em áreas críticas como dispositivos médicos e aviação.
A Harmonic afirma que o Aristotle alcançou desempenho de medalha de ouro na Olimpíada Internacional de Matemática (IMO) de 2025 por meio de testes formais, nos quais os problemas foram traduzidos para um formato legível por máquina. Esse feito ocorre no mesmo ano em que modelos de IA do Google DeepMind e da OpenAI também atingiram padrões de medalha de ouro na IMO, embora por meio de testes informais em linguagem natural.
As ambições da empresa vão além da matemática. A Harmonic acredita que a MSI ajudará usuários em todos os campos que dependem de raciocínio matemático, incluindo física, estatística e ciência da computação. Eventualmente, a empresa planeja lançar uma API para acesso corporativo e um aplicativo web para consumidores, potencialmente transformando a forma como indústrias abordam problemas que exigem raciocínio quantitativo preciso.