A Harmonic, uma startup de IA cofundada pelo CEO da Robinhood, Vlad Tenev, lançou a versão beta da sua aplicação de chatbot para iOS e Android, que apresenta o Aristotle, um modelo de IA desenvolvido especificamente para raciocínio matemático sem alucinações.
A empresa, que recentemente angariou 100 milhões de dólares numa ronda de financiamento Série B, atingindo uma valorização de 875 milhões de dólares, distingue-se dos modelos de IA convencionais ao focar-se na 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 concebido de raiz para garantir precisão em domínios quantitativos.
"O Aristotle é o primeiro produto disponível para o público que faz raciocínio e verifica formalmente os resultados", afirmou Tudor Achim, CEO e cofundador da Harmonic. "Nos domínios suportados pelo Aristotle, que são os de raciocínio quantitativo, garantimos realmente que não há alucinações."
O sistema atinge esta precisão notável através de um processo em duas etapas. Primeiro, o Aristotle traduz problemas matemáticos em linguagem natural para Lean 4, uma linguagem de programação open-source e assistente de provas que permite verificar a correção de definições e teoremas matemáticos. Depois, antes de apresentar as respostas aos utilizadores, o modelo revê as soluções através de um processo de verificação algorítmica que não envolve IA—semelhante aos métodos de verificação usados 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 de 2025 através de testes formais, nos quais os problemas foram traduzidos para um formato legível por máquina. Esta conquista surge num ano em que modelos de IA da Google DeepMind e da OpenAI também atingiram padrões de medalha de ouro na mesma competição, embora através de testes informais realizados em linguagem natural.
As ambições da empresa vão além da matemática. A Harmonic acredita que a MSI ajudará os utilizadores 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 planeia lançar uma API para acesso empresarial e uma aplicação web para consumidores, podendo transformar a forma como as indústrias abordam problemas que exigem raciocínio quantitativo preciso.